Mini-workshop on Wednesday July 1st

 
 

As a way to finish the seminar sessions of this academic year and with the aim to give us an opportunity to discuss our just (or soon to be) submitted papers, this Wednesday July 1st from 14:00 hrs we will have a mini-workshop, with the following preliminary program:

14:00 – 14:15    Cédric Dégremont & Nina Gierasimczuk
Can doxastic agents learn? On the temporal structure of learning (slides)
14:15 – 14:30    Discussion
14:30 – 14:45    Nina Gierasimczuk, Lena Kurzen & Fernando Velázquez-Quesada
Games for Learning: A Sabotage Approach (slides)
14:45 – 15:00    Discussion
15:00 – 15:20    Coffee break (+ cookies)
15:20 – 15:35    Davide Grossi & Fernando Velázquez-Quesada
Twelve Angry Men: A Study on the Fine-grain of Announcements (slides)
15:35 – 15:50    Discussion
15:50 – 16:05    Cédric Dégremont & Lena Kurzen
Expressivity and Complexity of Reasoning about Coalitional Interaction
16:05 – 16:20    Discussion
16:20 – 16:40    Coffee break (+ more cookies)
16:40 – 16:55    Umbertro Grandi
First-Order Logic Formalization of Arrow’s Theorem (slides)
16:55 – 17:10    Discussion
17:10 – 17:25    Cédric Dégremont & Olivier Roy
Agreements Theorems in Dynamic Epistemic Logic
17:25 – 17:40    Discussion
17:40 –    DRINKS!

The meeting will take place in room A1.08 of the new residence of the ILLC (Science Park 904).