CONTRAINTES: Constraint Programming

INRIA centre Paris-Rocquencourt building 8, France


"Le plaisir de comprendre comme seule contrainte."

The "Contraintes" group investigates the theoretical foundations, design, implementation and applications of rule-based modeling languages and constraint solving techniques in two main domains: combinatorial optimization and computational systems biology. More generally in the later domain, Contraintes develops formal methods for systems biology and investigates the tight integration of in silico and in vivo approaches using microfluidic and synthetic biology techniques.

Our activity reports are available from the official INRIA Web page of Contraintes.

Contraintes is associated to the PhD programs Sciences Mathématiques de Paris Centre and Frontiers in Life Sciences in Paris.

Contraintes is associated with Ron Weiss's Lab on synthetic biology at MIT, USA.

News : Workshop on design, optimization and control in systems and synthetic biology, June 11-12, ENS Paris.
News
: 4th workshop on bin packing and placement constraints, BPPC'12 associated to CPAIOR'12, May 29, Nantes.
News : Internships / Sujets de stages de grandes ecoles et universités are now available in Contraintes.
News : 9th International Conference on Computational Methods in Systems Biology CMSB 2011.
News : Biocham 3 is now available including a new SBGN graphical editor, new methods for model reduction and parameter optimization w.r.t. temporal logic specification
News : For its first participation, the French team with Aurélien Rizk was finalist and won the first prize of foundational research at the iGEM 2007 competition organised by the MIT on synthetic biology using BIOCHAM.



Members of Contraintes:

François Fages (INRIA senior research scientist, team leader)

Stéphanie Aubin (INRIA assistant)

Grégory Batt (INRIA research scientist)
Sylvain Soliman (INRIA research scientist)

Pascal Hersen (associate, CNRS Paris Diderot)
Denis Thieffry (associate, professor ENS Ulm)

Neda Saeedloei (INRIA post-doctorate)
Szymon Stoma (INRIA post-doctorate)

François Bertaux (PhD student, AMX, with EPI Bang)
Xavier Duportet (PhD student, INRIA)
David Fournier (PhD Student, Cifre GET)
Steven Gay (PhD student, INRIA)
Thierry Martinez (PhD student, INRIA)
Faten Nabli (PhD student, INRIA)
Jannis Ulhendorf (PhD student, INRIA)
 
Raphael Martin (INRIA engineer ITI)

Past members:

Guillaume Arnaud
Nicolas Beldiceanu (Professor, EMN Nantes)

Laurence Calzone (Institut Curie, Paris)
Nathalie Chabrier-Rivier
Philippe Codognet (Professor, University of Tokyo, Japan)
Emmanuel Coquery (Maître de Conférence, U. Lyon 1)
Sorin Craciunescu (engineer, eFront, Paris)
Elisabetta De Maria (Maîtresse de Conférence, U. Nice)
Pierre Deransart (retired)
Daniel Diaz (Maître de Conférence, U. Paris 1)
Yan Georget (Koalog)
Rémy Haemmerlé (UPM Madrid, Spain)
Domitille Heitzler (Post-Doc, University of Dublin, Ireland)

Dragana Jovanovska (Engineer, Drim, Paris)
Julien Martin (Engineer, Imaginatio, Paris)
Andras Kovacs (SZTAKI, Budapest)
Sriram Krishnamachari (UCSB, USA)
Ludovic Langevine (Mission Critical IT, Belgium)
Sylvain Pradalier (Research Engineer, Dassault-Systemes)
Daniel de Rauglaudre (Aoste project)
Nadine Richard (ENST) 
Aurélien Rizk(Post Doc, ETH Zurich, Switzerland)
Jean-Claude Sogno (retired) 
Aurélie Strobbe (Engineer EDF, Paris)


Research contracts:

ANR Avenir ICEBERG (coordinator)

ANR Blanc Net-WMS-2 (coordinator)

ANR Blanc BioTempo

ANR Cosinus Syne2arti (coordinator)

OSEO BioIntelligence

EU EraNet SysBio C5Sys

Initiative Action COLAGE on synthetic biology

Initiative Action REGATE on FSH signaling

Past contracts:

ANR CALAMAR

European 6th PCRD STREP Net-WMS (coordinator)

European 6th PCRD STREP TEMPO

AgroBI INRA Project INSIGHT

INRIA Cooperative Research Initiative ARC MOCA (coordinator)

European 6th PCRD STREP  APrIL2


European 6th PCRD NoE

French RNTL MANIFICO

French RNTL OADymPPaC (coordinator)

ACI VICANNE

INRIA Cooperative Research Initiative ARC CPBIO (coordinator)


Software:

BIOCHAM is a software environment for modeling biochemical systems, making simulations, performing static analyses and specifying behaviors in temporal logic.

FO-CTL is a constraint solver for full First-Order Computation Tree Logic with linear arithmetic over the reals, FO-CTL(ℝlin),  in Constrained Transition Systems.

CHRat a modular version of Constraint Handling Rules with ask and tell

Rules2CP a rule-based modelling language for constraint programming

Older stuff:

TCLP is a type checker for constraint logic programming.

CLPGUI is a graphical user interface for constraint logic programming.

GNU Prolog RH is a version of GNU Prolog extended with attributed variables, coroutines and CLP(R) constraints, developed by Rémy Haemmerlé.


image
Effect of constraint propagation on the domains
of variables during search in a placement problem.

Public seminar: programme

Internal web page


EAID'08 picture
Artist's view of a Drosophilia embryo
and its
computational model.

Contraintes research topics belong to the INRIA themes:
theme  Programs, Verification and Proofs domain Algorithmics, Programming, Software and Architecture,
and theme Computational Biology and Bioinformatics domain Computational Sciences for Biology, Medicine and the Environment.


 Last modified: 2012/02/14