Section: Overall Objectives

Introduction

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.

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 the study of formal methods coming from computer science to model and analyze biochemical reaction systems, with applications to cell biology, medicine and synthetic biology.