3èmes Journées MAFTEC (Lille 6-7 novembre 2017)

Les 3èmes journées du groupe de travail du pré-GDR IA sur la
planification MultiAgent, Flexible, Temporelle, Epistémique et
Contingente (MAFTEC) auront lieu à Lille du 6 au 7 novembre 2017.

Ces journées sont gratuites et ouvertes à tous. Toutefois, pour nous
permettre de les organiser dans les meilleures conditions, l’inscription

est obligatoire avant le 30 octobre 2017.

Informations, programme et inscriptions sur le site de l’événement :
https://www.irit.fr/~Frederic.Maris/maftec3/index.php
PROGRAMME

Lundi 6 novembre 2017 :

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

10:00 – 12:00 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:00 – 13:30 Pause déjeuner —
(buffet)

13:30 – 15:30 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

15:30 – 16:00 Sessions de travail
Atelier-débat de prospective. Proposition de groupes de
discussion.

16:00 – 16:30 Pause café

16:30 – 18: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 

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

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

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…


Frédéric Maris
Maître de Conférences en Informatique

IRIT – CNRS UMR 5505, bureau 323
Université Paul Sabatier, 118 route de Narbonne
31062 Toulouse cedex 9, FRANCE.

Tél : +33 5.61.55.7438
maris@irit.fr