CONTRAINTES : Constraint programming (project-team)

About the project : Project-Team site Activity report Videos and photos Research reports Theses Theme : Sym Symbolic systems Paris - Rocquencourt research center

Project-Team Presentation

The CONTRAINTES project-team works on constraint programming from different points of view: the design of new languages and of their programming environment, their semantics and logical foundations, the design of efficient constraint solvers, and the investigation of new applications, notably in Systems Biology.

Research themes

• Logical foundations of constraint programming and proofs of programs,
• Constraints solvers,
• Compiling,
• Debuging tools and software environments,
• Systems Biology.

International and industrial relations

• European project (6th framework) STREP : APrIL II.
• European Network of Excellence (6th framework) : REWERSE.
• RNTL project MANIFICO , with LORIA and ILOG.
• Prime contractant of the national RNTL project OaDymPac (OaDymPac) with COSYTEC and ILOG companies, the University and the Ecole des Mines of Nantes, the University of Orléans, and IRISA/INSA Rennes (software environments for constraint programming);

Software

BIOCHAM, GNU-Prolog, TCLP, CLPGUI

Scientific leader

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