Projets:INRIA

Aller à : navigation, rechercher
  • Autour de la thématique de la modélisation à base topologique, David Cazier est membre de l'équipe projet MIMESIS en cours de lancement par Stéphane Cotin dont l'intégration en IGG a été validée par le comité de direction du 08/06/2015.
  • Autour de la thématique des preuves formelles, Nicolas Magaud et Julien Narboux participent à l'équipe-projet CAMUS, commune avec l'INRIA Nancy Grand-Est depuis son lancement en 2010 par Philippe Clauss, responsable de l'équipe ICPS.