Members of Contraintes:
François Fages (INRIA senior research scientist, team leader)
Grégory
Batt (INRIA research scientist)
Pierre
Deransart (INRIA senior research scientist)
Sylvain
Soliman (INRIA research scientist, vice-leader)
Nicolas
Beldiceanu (associate, professor EMN Nantes)
Denis Thieffry (associate, professor ENS Ulm)
Elisabetta De Maria (ERCIM post-doctorate fellow)
Sylvain Pradalier (INRIA post-doctorate fellow
Steven Gay (PhD student, INRIA)
Domitille
Heitzler (PhD student, ASC INRA Tours)
Julien Martin
(PhD student, INRIA)
Thierry Martinez
(PhD student, INRIA)
Faten Nabli (PhD student, INRIA)
Aurélien
Rizk(PhD student, INRIA)
Dragana Jovanovska (INRIA engineer)
Nadia Mesrar (administrative assistant)
Past members:
Guillaume Arnaud
Laurence
Calzone (Institut Curie, Paris)
Nathalie
Chabrier-Rivier
Philippe
Codognet (University of Tokyo, Japan)
Emmanuel
Coquery (associate, U. Lyon 1)
Sorin Craciunescu (eFront)
Daniel Diaz (associate,
U. Paris 1)
Yan Georget
(Koalog)
Rémy
Haemmerlé (Post-doc UPM Madrid, Spain)
Andras Kovacs (SZTAKI, Budapest)
Sriram Krishnamachari (UCSB, USA)
Ludovic Langevine (Mission Critical IT, Belgium)
Daniel de Rauglaudre
(Aoste project)
Nadine Richard (ENST)
Jean-Claude Sogno
(retired)
Aurélie Strobbe
Research contracts:
European 6th PCRD STREP 
European 6th PCRD STREP 
ANR CALAMAR
Initiative Action COLAGE
on synthetic biology
Initiative Action REGATE
on FSH signaling
Past contracts:
AgroBI INRA Project INSIGHT
INRIA Cooperative Research Initiative ARC MOCA
European 6th PCRD STREP 
European 6th PCRD NoE 
French RNTL MANIFICO
French RNTL OADymPPaC
ACI VICANNE
INRIA Cooperative Research Initiative ARC CPBIO
Software:
BIOCHAM is a programming environment for modeling biochemical systems, making simulations and querying the model in temporal logic.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é.
Public seminar: programme
Internal web page
