Inria
Inria.fr
Inria Channel
- Presentation
- HAL publications
- Activity reports
CONTRAINTES Research team
Constraint programming
- Leader : François Fages
- Type : Project team
- Research center(s) : Paris - Rocquencourt
- Field : Algorithmics, Programming, Software and Architecture
- Theme : Programs, Verification and Proofs
Team presentation
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 in systems and synthetic biology.
Research themes
- Rule-based languages,
- Constraint solving algorithms,
- Combinatorial optimization,
- Formal methods for systems and synthetic biology,
- Integration of in silico and in vivo approaches.
Software
International and industrial relations
- Associate team with Ron Weiss's Lab, MIT, USA
- ANR Avenir Iceberg (coordinator)
- ANR Blanc Net-WMS-2 (coordinator)
- ANR Blanc Syne2arti (coordinator)
- OSEO BioIntelligence (Dassault-Systèmes coordinator)
- EraNet SysBio C5SYS (F. Lévi, INSERM Villejuif, and D. Rand, U. Warwick UK, coordinators)
- Initiative action INRIA-INSERM COLAGE
- Initiative action INRIA-INRA REGATE
Keywords: Rule-based Languages Formal Methods Computational Biology Combinatorial Optimization Logic Constraints Hybrid Systems Systems Biology Synthetic Biology
Research teams of the same theme :
- ABSTRACTION - Abstract Interpretation and Static Analysis
- ATEAMS - Analysis and Transformation based on rEliAble tool coMpositionS
- CARTE - Theoretical adverse computations, and safety
- CASSIS - Combination of approaches to the security of infinite states systems
- CELTIQUE - Software certification with semantic analysis
- COMETE - Concurrency, Mobility and Transactions
- DEDUCTEAM - Deduction modulo, interopérabilité et démonstration automatique
- FORMES - Formal Methods for Embedded Systems
- GALLIUM - Programming languages, types, compilation and proofs
- MARELLE - Mathematical, Reasoning and Software
- MEXICO - Modeling and Exploitation of Interaction and Concurrency
- MOSCOVA - Mobililty, security, concurrence, verification and analysis
- PAREO - Formal islands: foundations and applications
- PARSIFAL - Proof search and reasoning with logic specifications
- PI.R2 - Design, study and implementation of languages for proofs and programs
- PROSECCO - Programming securely with cryptography
- SECSI - Security of information systems
- TASC - Theory, Algorithms and Systems for Constraints
- TOCCATA - Certified Programs, Certified Tools, Certified Floating-Point Computations
- TYPICAL - Types, Logic and computing
- VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
Contact
Team leader
François Fages
Tel.: +33 1 39 63 57 09
Secretariat
Tel.: +33 1 39 63 54 12
Find out more
See also
