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