Franois Fages Fvrier 2002 Trois axes de recherche: Langages concurrents avec contraintes Solveurs de contraintes Environnements de mise au point Projet Contraintes INRIA Rocquencourt Th me Gnie logiciel et calcul symbolique INRIA
Franois Fages Fvrier 2002 Equipe Responsable scientifique: Franois Fages Conseiller scientifique: Philippe Codognet (Univ. Paris 6) Pierre Deransart Jean-Claude Sogno Collaborateurs extrieurs: Frdric Benhamou (Univ. Nantes), Daniel Diaz (Univ. Paris 1), Grard Ferrand (Univ. Orlans) Doctorants: Emmanuel Coquery, Sorin Craciunescu, Ludovic Langevine, (Sylvain Soliman) --- Yoann Fabre, Luc Hernandez, (Nadine Richard).
Franois Fages Fvrier 2002 Langages concurrents avec contraintes Langage LCC (« Linear Concurrent Constraint Prog. ») mod le d excution ractif combiner contraintes et changement d tats GNU-Prolog (Daniel Diaz) Compilateur Prolog en code natif Propagation de contraintes sur les domaines finis Typage des programmes logiques avec contraintes logiciel TPLP
Franois Fages Fvrier 2002 Solveurs de contraintes Contraintes sur les domaines finis (GNU-Prolog) Contraintes globales Programmation linaire Contraintes flexibles (valuation dans demi-anneaux) Recherche locale, mta-heuristiques Applications: probl mes d optimisation combinatoire
Franois Fages Fvrier 2002 Environnement de mise au point Projet RNTL OADymPPac (ex projet Esprit Discipl) Format de trace gnrique de la programmation par contraintes Format d change XML avec les outils de visualisation Visualisation 2D et 3D des domaines et de l arbre de recherche Logiciel CLPGUI Visualisation 2D-3D et interaction avec le solveur
Franois Fages Fvrier 2002 Consoles de contrôle et visualisation
Franois Fages Fvrier reines-ff 1 re solution
Franois Fages Fvrier 2002 Vue 3D de labre de recherche