Réunion de lancement de projet
Les 13,14 et 15 Janvier 2016 à Orléans, au LIFO :
- Mercredi 14 Janvier
14h - 15h30 : Bruno Courcelle et Irène Durand, Méta-thèoremes algorithmiques
16h00 - 16h45 : Dieter Krasch, Enumeration of minimal connected dominating sets and minimal connected vertex covers
16h45 - 17h30 : Arnaud Mary, Clôture d'une famille d'ensembles par opérateurs ensemblistes
- Jeudi 15 Janvier
9h00 - 9h45 : Ioan Todinca, Enumération et optimisation FPT via les cliques maximales potentielles
10h15 - 11h00 : Lhouari Nourine
11h00 - 11h45 : Paul Dorbec
11h45 - 12h15 : présentation, par Dieter Kratsch, des aspects organisationnels du projet
14h00 - 18h00 : session de problèmes, discussions -
Vendredi 16 Janvier
9h30-10h30 : Mamadou Kanté, Enumération des (sigma,rho)-dominants 1-minimaux et 1-maximaux dans les graphes de mimwidth borné
11h-16h00 discussions, session de problèmes
Participants :
- Metz/Orléans : Dieter Kratsch, Alain Gély, Mathieu Liedloff, Pedro Montealegre, Ioan Todinca
- Clermont-Ferrand/Lyon : Benjamin Bergounoux, Laurent Beaudou, Mamadou Kanté, Vincent Limouzy, Arnaud Mary, Lhouari Nourine
- Bordeaux : Bruno Courcelle, Paul Dorbec, Irène Durand