Thurday 2 May
09:40 Hall – Welcome with coffee
10:00-12:30 Room Petri-Turing – Talk session – strategic reasoning
Chair: Sasha Rubin
| Yoram Moses | Knowledge and Distributed Coordination (slides) |
|
Panagiotis Kouvaros |
Verifying Agent Swarms |
| Bastien Maubert | Reasoning about Knowledge and Strategies (slides) |
| Sophie Pinchinat | Chain-Monadic Second Order Logic over Regular Automatic Trees and Epistemic Planning Synthesis |
| Valentin Goranko | Generalising the Dining Philosophers problem: competitive dynamic resource allocation in multi-agent systems (slides) |
12:30 Hall – Buffet
14:00-15:00 Invited talk – Ann Nowé – Reinforcement Learning to converge or not to converge is this the question?
Chair: Sophie Pinchinat
15:00-16:00 Room Petri-Turing – Talk session – logical reasoning
Chair: Sophie Pinchinat
| Abdallah Saffidine | Practical Encodings of Factored Deterministic POMDPs into Probabilistic Planning (slides) |
| Nicola Gigante | Timeline-based planning: Expressiveness and Complexity (slides) |
16:00-16h30 Hall – Coffee break
16:30-18:30 Room Petri-Turing – Talk session – reasoning
Chair: Bastien Maubert
| Hans Van Ditmarsch and Vaishnavi Sundararajan | Who holds the best card? Secure communication of optimal secret bits (slides) |
| Stéphane Demri | Modal Separation Logics: Complexity and Axiomatisation (slides) |
| Andreas Herzig | Alternative axiomatisations of common knowledge (slides) |
| Sylvie Sage | Acceptance-based Pragmatics and Conversational AI |
Friday 3 May
9:00-10h30 Room Petri-Turing – Talk session
Chair: François Schwarzentruber
10:30-11h00 Hall – Coffee break
11h-12h30 Hall – Room Petri-Turing – Talk session – Alternating-time temporal logic –
Chair: Blaise Genest
| Dario Della Monica | Parity-energy ATL for Qualitative and Quantitative Reasoning in MAS (slides) |
| Vadim Malvone | Reasoning about Natural Strategic Ability (slides) |
| Alexandru Baltag | The decidable logic of functional dependency |
12:30 Room Petri-Turing Buffet
14:00-16:00 Room Métivier – François Schwarzentruber. Epistemic reasoning in AI (habilitation defense)
16:00 Room Sein – Closing reception
Saturday 4 May
Marché de Lices, Rennes – Photo Benoit Gendron
This day will be off.
However, we highly advice to visit the “marché des Lices” (place des Lices). This market place is typical.
