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).