Les premières journées du groupe de travail Représentations et Algorithmes en Pratique (GT RAP – https://www.gdria.fr/gt-rap) du pré-GDR IA, auront lieu à Paris (UPMC) le 18 novembre 2016 en salle 25-26/105.
Le programme des journées est le suivant :
(10:10, 10:50) Jean-Marie Lagniez, « Les solveurs SAT »
(10:55, 11:35) Frédéric Maris, « Planification par satisfaction de bases de clauses en pratique »
(11:40, 12:55) Khaled Belahcene, « Présentation d’un problème »
(12:10, 13:30) Pause déjeuner
(13:30, 14:00) Frédéric Lardeux, « Transformations de modèles »
(14:10, 14:30) Pierre Siegel , « Présentation d’un problème »
(14:40, 15:30) Discussions
(15:30, 16:00) Discussions mais cette fois devant un bon café (ou un thé) 😀
16:00, fin de la journée
Au plaisir de vous y retrouver.
Cordialement,
Jean-Marie Lagniez et Frédéric Lardeux
—
Jean-Marie Lagniez [Tél/Fax] +33 (0)3 21 79 17 70
CRIL – CNRS UMR 8188 lagniez@cril.fr
Université d’Artois http://www.cril.fr/~lagniez