Différences entre les versions de « Projets:INRIA »
Aller à la navigation
Aller à la recherche
| Ligne 3 : | Ligne 3 : | ||
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 | + | Autour de la thématique des preuves formelles, Nicolas Magaud et Julien Narboux participent à l'équipe-projet [https://team.inria.fr/camus/ CAMUS], commune avec l'INRIA Nancy Grand-Est depuis son lancement en 2010 par Philippe Clauss, responsable de l'équipe ICPS. |
{{PAGE_End}} | {{PAGE_End}} | ||
[[en:Projects:INRIA]] | [[en:Projects:INRIA]] | ||
Version du 1 mars 2016 à 13:03
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.