3èmes Journées MAFTEC

Lille, 6-7 novembre 2017

PROGRAMME

Lundi 6 novembre 2017 :

09:30 - 10:00 Accueil — Délégation Régionale CNRS, 2 rue des Canonniers, Lille

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

Sébastien Konieczny (CRIL-CNRS, Lens)
Présentation du préGDR IA.

10:30 - 12:30 Exposés d'ouverture des sessions de travail
Utilisation de solveurs SAT/SMT/QBF pour la planification MAFTEC.

Daniel Le Berre (CRIL, Université d'Artois, Lens)
Quantified Boolean Formula.

Maël Valais (IRIT, Université Paul Sabatier, Toulouse)
Optimal Planning as Quantified Boolean Formula.

Frédéric Maris (IRIT, Université Paul Sabatier, Toulouse)
SMT and QBF(T) Encodings for Planning with Continuous Time.

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

14:15 - 16:15 Exposés d'ouverture des sessions de travail
Planification multiagent, épistémique et contingente.

Julien Vianey (IRIT, Université Paul Sabatier, Toulouse)
Simple Epistemic SAT Planning.

Bruno Zanuttini (GREYC, Université de Caen-Normandie, Caen)
Knowledge-Based Policies for Qualitative Decentralized POMDPs.

Jilles S. Dibangoye (CITI lab, INSA, Lyon)
Learning to Act in Continuous Decentralized Partially Observable MDPs.

16:15 - 16:45 Pause café

16:45 - 17:30 Exposés d'ouverture des sessions de travail

Valentin Montmirail (CRIL, Lens)
RECAR: Recursive Explore and Check Abstraction Refinement.

17:30 - 18:00 Sessions de travail
Atelier-débat de prospective. Proposition de groupes de discussion.

Mardi 7 novembre 2017 :

09:00 - 09:30 Accueil — Délégation Régionale CNRS, 2 rue des Canonniers, Lille

09:30 - 12:00 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

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

13:30 - 16:00 Sessions de travail

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