Program

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
Blaise Genest Global PAC Bounds for Learning Discrete Time Markov Chains (slides)
Kuldeep S. Meel  Towards Verifying AI Systems: Testing of Samplers (slides)
Catalin Dima Verifying Strategic Abilities in Multi-agent Systems with Private Data Sharing (slides)

 

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.

Comments are closed.