Sites Inria

English version

Equipe de recherche CONTRAINTES

Rapports d'activité


Constraint Logic Programming supports a great ambition for making of programming essentially a modeling task, with equations, constraints and logical formulas. Its foundation is the use of relations on mathematical variables to compute with partial information, using domain filtering algorithms and search.

Our EPI has evolved since its creation in 2001, from the study of concurrent constraint logic programming languages and their applications to solving combinatorial optimization problems in industry and biology, to a strong focus on computational systems biology, for the analysis and optimization of biochemical reaction systems, with applications to cell biology, medicine and synthetic biology.

Suivez Inria