Deuxièmes Journées MAFTEC

LIP6 - UPMC, Paris, 13-14 mars 2017

PROGRAMME (mis à jour 01/03/2017)

Lundi 13 mars 2017 :

10:00 - 10:30 Accueil — LIP6, salle 25-26/105

10:30 - 12:30 Exposés d'ouverture des sessions de travail — LIP6, salle 25-26/105
Exposés d'ouverture sur les différentes thématiques et leur intégration (Multi-Agent, Flexible, Temporel, Epistémique, Contingent).

François Schwarzentruber (IRISA, ENS Rennes)
Complexity of DEL decision problems.

Bruno Zanuttini (GREYC, Université de Caen-Normandie, Caen)
DEL-QDec-POMDPs: planification centralisée, exécution décentralisée avec DEL ?

Alexandre Niveau (GREYC, Université de Caen-Normandie, Caen)
Perspectives sur la compilation de politiques dans le cadre de la planification contingente.

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

14:00 - 15:00 Suite des exposés — LIP6, salle 25-26/105

Frédéric Maris (IRIT, Université Paul Sabatier, Toulouse)
Quelques pistes pour la planification temporelle épistémique.

Abdallah Saffidine (University of New South Wales, Sydney)
Complexité de domaines concrets : premiers résultats sur le démineur.

15:00 - 16:00 Session de travail — LIP6, salle 25-26/105
Atelier-débat de prospective. Proposition de groupes de discussion.

16:00 - 16:30 Pause café

16:30 - 18:00 Sessions de travail — LIP6, Salle25-26/105

Groupe de discussion MaEC
Représentation de plans pour la planification Multiagent, Epistémique et Contingente.

Groupe de discussion MaFTC
Représentation de plans pour la planification Multiagent, Flexible, Temporelle et Contingente.

Groupe de discussion MaFTEC-SAT
Adaptation de solveurs SAT/SMT pour la résolution de problèmes MAFTEC.



Mardi 14 mars 2017 :

09:00 - 09:30 Accueil — LIP6, salle 25-26/105.

09:30 - 12:30 Sessions de travail — LIP6, salle 25-26/105

Session commune des groupes de discussion.
Montage de projet MAFTEC (ANR)

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

14:00 - 16:00 Sessions de travail — LIP6, salle 25-26/105

Travaux dans les différents groupes de discussion MaEC, MaFTC, MaFTEC-SAT...
Montage de projet MAFTEC (ANR)