4èmes Journées MAFTEC

Amiens, 11-12 juin 2018

PROGRAMME

Lundi 11 juin 2018 :

09:30 - 10:00 Accueil — E.S.I.E.E. / Centre de Transfert de Technologie, Amiens
Salle 410 — niveau 4

10:00 - 10:15 Ouverture des journées

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

10:15 - 11:15 Exposés d'ouverture des sessions de travail
Président de session : Frédéric Maris

François Schwarzentruber (IRISA, ENS, Rennes)
A pedagogical tool for dynamic epistemic logic: Hintikka's world.

Tristan Charrier (IRISA, Rennes)
Overview on epistemic planning in DEL.

11:15 - 11:45 Pause café

11:45 - 12:45 Exposés d'ouverture des sessions de travail
Président de session : Cyril Pain-Barre

Tristan Charrier (IRISA, Rennes)
Generating plans for cooperative connected UAVs.

Guillaume Aucher (IRISA, Université de Rennes 1, Rennes)
Correspondence Between Planning Problems and Games.

13:00 - 14:30 Pause déjeuner
Restaurant E.S.I.E.E.

14:30 - 16:00 Sessions de travail

Atelier-débat de prospective
Proposition de groupes de discussion.

Travaux dans les différents groupes de discussion MaFTEC-SAT, codage...

16:00 - 16:30 Pause café

16:30 - 17:30 Sessions de travail

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

Groupe « codage »
Implémentation / Intégration des aspects MAFTEC.

Autres groupes issus de l'atelier de prospective


Mardi 12 juin 2018 :

09:00 - 09:30 Accueil — E.S.I.E.E. / Centre de Transfert de Technologie, Amiens
Salle 410 — niveau 4

09:30 - 10:30 Exposés d'ouverture des sessions de travail
Président de session : Tiago De Lima

Frédéric Maris (IRIT, Université Toulouse 3 - Paul Sabatier, Toulouse)
Polynomial Relaxations of Temporal Planning Problems.

Abdallah Saffidine (University of New South Wales, Sydney)
The Complexity of Limited Belief Reasoning — The Quantifier-Free Case.

10:30 - 11:00 Pause café

11:00 - 12:45 Sessions de travail

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

Groupe « codage »
Implémentation / Intégration des aspects MAFTEC.

Autres groupes issus de l'atelier de prospective

13:00 - 14:30 Pause déjeuner
Restaurant E.S.I.E.E.

14:30 - 16:00 Sessions de travail

Travaux dans les différents groupes de discussion MaFTEC-SAT, codage...