CONTRAINTES : Programmation par contraintes (équipe-projet)

En savoir plus sur l’équipe-projet : Site de l’équipe-projet Rapport d'activité La médiathèque Rapports de recherche Thèses Thème : Sym Systèmes symboliques Centre de recherche Paris - Rocquencourt

Présentation de l’équipe-projet

L'équipe-projet CONTRAINTES s'intéresse à la programmation par contraintes, de différents points de vue : conception de nouveaux langages et de leurs environnements de programmation, fondements sémantiques, conception de solveurs de contraintes, et exploration de nouvelles applications, notamment en Biologie des Systèmes.

Axes de recherche

• Fondements logiques de la programmation par contraintes et preuves de programmes,
• Solveurs de contraintes,
• Compilation des langages,
• Environnements de mise de point,
• Biologie des Systèmes.

Relations internationales et industrielles

• Projet Européen (6è PCRD) STREP : APrIL II.
• Réseau d'Excellence (NoE) Européen (6è PCRD) : REWERSE.
• Projet RNTL MANIFICO, avec le LORIA et ILOG.
• Contractant principal du projet RNTL OaDymPac (OaDymPac) avec les sociétés COSYTEC et ILOG, l'Université et l'Ecole des Mines de Nantes, l'Université d'Orléans, et l'IRISA/INSA de Rennes (environnements de mise au point pour la programmation par contraintes);

Logiciels

BIOCHAM, GNU-Prolog, TCLP, CLPGUI

Responsable scientifique

François FAGES
+33 1 39 63 57 09
Francois.Fages@inria.fr
Secrétariat : +33 1 39 63 54 12