Différences entre les versions de « Projets:INRIA »
Aller à la navigation
Aller à la recherche
Ligne 2 : | Ligne 2 : | ||
* Autour de la thématique de l'analyse géométrique de plantes, Franck Hétroy-Wheeler est membre associé de l'équipe [https://team.inria.fr/mosaic MOSAIC] du centre Inria Grenoble - Rhône-Alpes. | * Autour de la thématique de l'analyse géométrique de plantes, Franck Hétroy-Wheeler est membre associé de l'équipe [https://team.inria.fr/mosaic MOSAIC] du centre Inria Grenoble - Rhône-Alpes. | ||
− | * 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 et qui a duré jusqu'en décembre 2020. |
* 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. |
Version du 25 janvier 2021 à 11:31
- Autour de la thématique de l'analyse géométrique de plantes, Franck Hétroy-Wheeler est membre associé de l'équipe MOSAIC du centre Inria Grenoble - Rhône-Alpes.
- 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 et qui a duré jusqu'en décembre 2020.
- 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.