Différences entre les versions de « Spécifications, contraintes et preuves »
Aller à la navigation
Aller à la recherche
(→Bilan) |
|||
Ligne 4 : | Ligne 4 : | ||
== Bilan == | == Bilan == | ||
+ | |||
+ | === Participants permanents === | ||
+ | * Deux professeurs : [[Jean-François Dufourd|Jean-François Dufourd]] et [[Pascal Schreck|Pascal Schreck]] | ||
+ | * Quatre maîtres de conférences : [[Caroline Essert|Caroline Essert]], [[Nicolas Magaud|Nicolas Magaud]], [Pascal Mathis|Pascal Mathis]], [[Julien Narboux|Julien Narboux]] | ||
== Perspectives == | == Perspectives == |
Version du 15 mars 2011 à 20:14
Bilan
Participants permanents
- Deux professeurs : Jean-François Dufourd et Pascal Schreck
- Quatre maîtres de conférences : Caroline Essert, Nicolas Magaud, [Pascal Mathis|Pascal Mathis]], Julien Narboux