Différences entre les versions de « Projets:INRIA »
Aller à la navigation
Aller à la recherche
Ligne 1 : | Ligne 1 : | ||
{{PAGE_Begin}} | {{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 [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. | + | * 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:05
- 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.