Différences entre les versions de « Projets:INRIA »
Aller à la navigation
Aller à la recherche
Ligne 1 : | Ligne 1 : | ||
+ | {{PAGE_Begin}} | ||
Autour de la thématique de la modélisation à base topologique, David Cazier est membre de l'équipe projet [http://mimesis.loria.fr/ 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 de la modélisation à base topologique, David Cazier est membre de l'équipe projet [http://mimesis.loria.fr/ 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. | 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. | ||
+ | |||
+ | {{PAGE_End}} | ||
+ | [[en:Projects:INRIA]] |
Version du 1 mars 2016 à 12:36
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.