There are 2 Results with the keyword : "méthodes formelles"
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.
- Microsoft Research
- Méthodes formelles
- Fonctions mathématiques
- Vision artificielle
- Laboratoire commun
- Saclay - Île-de-France
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).