5èmes Journées MAFTEC

Rennes, 5-7 décembre 2018


PROGRAMME

Mercredi 5 décembre 2018 :

09:30 - 10:00 Accueil — INRIA / Campus de Beaulieu, Rennes
Salle Métivier

10:00 - 12:00 Thèse de doctorat

Tristan Charrier (INRIA/IRISA, Rennes)
Complexité théorique du raisonnement en logique épistémique dynamique et étude d'une approche symbolique.

12:00 - 14:00 Pause déjeuner (buffet) pour les membres du jury et participants aux journées MAFTEC
Salle Markov
Pot de thèse
Salle Minquiers

14:00 - 14:15 Ouverture des 5èmes journées MAFTEC
Salle Markov

Andreas Herzig (IRIT-CNRS, Toulouse)
et Frédéric Maris (IRIT, Université Paul Sabatier, Toulouse)
Présentation du GDR IA et du groupe de travail MAFTEC.

14:15 - 16:30 Exposés

Aurélie Beynier (LIP6, Université Pierre et Marie Curie, Paris)
Planification multi-agent et sous incertitude.

Hans van Ditmarsch (LORIA-CNRS, Vandoeuvre-lès-Nancy)
et Vaishnavi Sundararajan (INRIA/IRISA, Rennes)
Who holds the best card? Secure communication of optimal secret bits.

16:30 - 17:00 Pause café

17:00 - 18:30 Exposé et session de travail

Frédéric Maris (IRIT, Université Paul Sabatier, Toulouse)
The epistemic gossip problem. Sequential and parallel protocols.

Bruno Zanuttini (GREYC, Université de Caen-Normandie, Caen)
MAKBPs as plans.

20:30 Rendez-vous à la crêperie Sainte-Anne (Place Sainte-Anne)

Jeudi 6 décembre 2018 :

09:30 - 10:00 Accueil — INRIA / Campus de Beaulieu, Rennes
Salle Aurigny

10:00 - 11:00 Exposés

Tristan Cazenave (LAMSADE, Université Paris-Dauphine, Paris)
Résolution de jeux.

11:00 - 11:30 Pause café

11:30 - 12:30 Exposés

Thomas Bolander (Technical University of Denmark, Lyngby, Denmark)
Multi-agent Abduction using Doxastic Temporal Models.

Andreas Herzig (IRIT-CNRS, Toulouse)
The dynamic logic of policies and contingent planning.

12:30 - 14:00 Pause déjeuner (buffet)
Salle Belle-Ile

14:00 - 16:30 Exposé et session de travail
Salle Aurigny

Sébastien Gamblin (GREYC, Université de Caen-Normandie, Caen)
Towards an efficient representation for epistemic planning.

Atelier — Groupes de discussion

16:30 - 17:00 Pause café

17:00 - 18:00 Sessions de travail

Atelier — Groupes de discussion

20:00 Rendez-vous à la crêperie La Ville d'Ys (5 rue Saint-Georges)

Vendredi 7 décembre 2018 :

09:30 - 10:00 Accueil — INRIA / Campus de Beaulieu, Rennes
Salle Bréhat

10:00 - 11:00 Exposés

Eric Jacopin (CREC Saint-Cyr, Guer)
Statistical Planning: Building Models of Entropy of Centralized Planning for Multi-Agent Systems.

11:00 - 11:30 Pause café

11:30 - 12:30 Exposés

Sophie Pinchinat (IRISA, Rennes)
First-order theory of automatic structures for epistemic planning.

Thomas Bolander (Technical University of Denmark, Lyngby, Denmark)
Learning to act. Qualitative learning of action models.

12:30 - 14:00 Pause déjeuner (buffet)
Salle Minquiers

14:00 - 16:30 Sessions de travail
Salle Oléron

Atelier — Groupes de discussion

16:30 Clôture des journées