Présentation de l’équipe

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) ;