Location: Centre Inria de l’Université de Rennes (campus de Beaulieu), salle Petri-Turing
Wednesday 24 January
11h30 Welcome at the entrance of INRIA
12h lunch
13h Bruno Zanuttini Tutorial on planning, link between models used in RL and epistemic logic
15h Oldaric Maillard Tutorial on RL and deepRL
17h Break
17h20 Emiliano Lorini. Reasoning about belief bases.
18h Geoffrey Laforest présentation de sa thèse
18h30 Emiliano Lorini. Epistemic planning and LLM
20h Dinner – La crêperie Saint-Mélaine
Thursday 25 January
9h30 Welcome – Meeting at the entrance of INRIA, then coffee à la cafet de l’IRISA
9h30 Sébastien BIAUDET (online) – Directeur Technique DAVI. Presentation of the IA RETORIK platform.
10h30 (commun avec rendez-vous du département DKM) Lê Nguyên Hoang (online) – La science de la gouvernance des IA (grand amphi INRIA)
11h30 Thibaut Le Marre. Computing policies in Stackelberg games (back to salle Petri-Turing)
12h Lunch
14h François Schwarzentruber. GNN and modal logic
15h-17h Discussions et groupe de travail
