Projets:INRIA
Révision datée du 24 avril 2011 à 13:51 par David.cazier (discussion | contributions)
- 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.