There are 2 Results with the keyword : "méthodes formelles"
Scientific partnership
Forum 2011 MSR Inria
On April 12th, Inria and Microsoft will organize a forum, to be held at Le Campus Microsoft, to celebrate four years of existence of the research centre created jointly by the two partners. This will be an opportunity to showcase a very fruitful research collaboration through research presentations and demonstrations.
Keywords:
- Microsoft Research
- Méthodes formelles
- Preuves
- Fonctions mathématiques
- Vision artificielle
- E-Sciences
- TLA+
- Coq
- Ssreflect
- ReActivity
- Laboratoire commun
- Saclay - Île-de-France
Home > News > News from Inria > Forum 2011 Labo MSR-Inria
Publication
Molecular Systems Biology's Feature Story
This month, the scientific journal Molecular Systems Biology dedicates the front page of its latest issue to an article on the synthesis of artificial cellular microreactors by François Fages, head of the Lifeware research team, Alexis Courbet (CNRS/INSERM), Patrick Amar (CNRS/LRI), Eric Renard (INSERM/CNRS) and Franck Molina (CNRS).
Keywords:
Home > Centre > Saclay > News > Un article en Une de Molecular Systems Biology