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 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 du LSIIT. |
Version du 26 avril 2011 à 22:37
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 du LSIIT.