Détail d'une fiche   Version PDF

CONTRAINTES (SR0092GR)

Programmation par contraintes

CONTRAINTES →  LIFEWARE (SR0626YR)


Statut: Terminée

Responsable : François Fages

Mots-clés de "A - Thèmes de recherche en Sciences du numérique - 2023" : Aucun mot-clé.

Mots-clés de "B - Autres sciences et domaines d'application - 2023" : Aucun mot-clé.

Domaine : Algorithmique, programmation, logiciels et architectures
Thème : Architecture, langages et compilation

Période : 01/03/2001 -> 31/12/2013
Dates d'évaluation : 22/03/2011

Etablissement(s) de rattachement : <sans>
Laboratoire(s) partenaire(s) : <sans UMR>

CRI : Centre Inria de Paris
Localisation : Rocquencourt
Code structure Inria : 021012-0

Numéro RNSR : 200118330Z
N° de structure Inria: SR0092GR

Présentation

L'équipe-projet CONTRAINTES étudie les fondements théoriques, la conception, les implémentations et les applications des langages de règles et des techniques de résolution de contraintes dans deux domaines: l'optimisation combinatoire et la biologie des systèmes. Plus généralement dans ce second domaine, Contraintes développe des méthodes formelles pour la biologie des systèmes et explore l'intégration étroite des approches in silico et in vivo en biologie systémique et synthétique.


Axes de recherche

  • Langages de règles,
  • Algorithmes de résolution de contraintes,
  • Optimisation combinatoire,
  • Méthodes formelles pour la biologie systémique et synthétique,
  • Intégration des approches in silico et in vivo.

Logiciels


Relations industrielles et internationales

  • 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)
  • Action d'envergure INRIA-INSERM COLAGE
  • Action d'envergure INRIA-INRA REGATE