Hello world!
Cette journée est gratuite et ouverte à tous. Toutefois, pour nous permettre de l’organiser dans les meilleures conditions,
l’inscription est obligatoire avant le 10 novembre 2017.
Informations, programme et inscriptions sur la page du groupe :
http://www.lirmm.fr/~lazaar/
Programme :
-
9h-9h20 : café
-
9h20-9h30 : ouverture de la journée CAVIAR (Frederic Koriche & Nadjib Lazaar)
-
9h30-10h : Towards cross-fertilization between Data Mining and Constraints. Lakhdar Sais
-
10h-11h : INVITED TALK (TBD)
-
11h-11h30 : pause café / discussions
-
11h30-12h : Beyond the Holy Grail – Automatically Generating Constraint Propagators for Conjunctions of Time-Series Constraints. Nicolas Beldiceanu
-
12h-12h30 : Constraint Acquisition. Nadjib Lazaar
-
12h30-13h30 : pause déjeuner
-
13h30-14h30 : Software Validation and Verification via Artificial Intelligence. Sébastien Bardin
-
14h30-15h : pause café/discussions
-
15h-15h30 : Constraint Programming for Multi-criteria Conceptual Clustering. Christine Solnon
-
15h30-16h : Adapting Consistency in Constraint Solving. Anastasia Paparrizou
-
16h-16h30 : discussions / clôture de la journée