Différences entre les versions de « Projets:INRIA »
Aller à la navigation
Aller à la recherche
Ligne 1 : | Ligne 1 : | ||
− | + | - Autour de la thématique des preuves, 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 du LSIIT. |
Version du 24 avril 2011 à 13:51
- Autour de la thématique des preuves, 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 du LSIIT.