BR4CP
--- Les 9 et 10 janvier au LIRMM, Montpellier
|
|
Mercredi 9, 9h- 12h15 :
Reunions des sous groupes 2 et 3 puis reunion pleniere
+
Discussion des travaux en cours
du groupe "Resolution Interactive" (T3): tour de table ;
presentations de D. Leberre (lignes de produits) et C. Lecoutre (GIC)
+ Discussion des travaux du groupe "Apprentissage"
(T2) (Jerome -> ton compte rendu stp)
+ Expose invité,
Armelle Prun, La
recommandation sociale : de l'individu à la communauté. Quelle place
pour les leaders ?
Mercredi 9,
13h30 - 17h45
+
Exposés:
* Demo
configurateur Renault, Edouard Chevallier
*
Expose , Rault Mazo: Some heuristicscs for improving product line configuration process
* Du Glucose à hautes doses : progrès
dans la résolution des problèmes SAT ?( Laurent Simon)
+ Point
d'avancement et benches (H. Fargier)
+ Discussion et Conclusion ;
Presentation à mi parcours à l'ANR :
elle sera faite par les responsables de labo (qui presenteront
aussi les travaux des tâches dans lesquelles ils sont)
Prochaine reunion
prevue à Paris (IBM) un mois avant la revue à mi parcours, et fin juillet au plus tard
Reunion du groupe
apprentissage en mars/arvill à Paris
Jeudi 10, 9h-11h:
Reunion du groupe "Compilation
+
Exposés :
* Pierre Marquis : Clôtures disjonctives
*
Alexandre Niveau : Relaxation
du déterminisme
Contact : H. Fargier
IRIT-Bureau 306
Université
Paul Sabatier
118 Route de Narbonne, 31062 Toulouse Cedex 04
Tél: (33) 05 61 55 82 97 Fax: (33) 05 61 55 62 39
fargier@irit.fr