Différences entre les versions de « Spécifications, contraintes et preuves »
Aller à la navigation
Aller à la recherche
| Ligne 6 : | Ligne 6 : | ||
=== Participants permanents === | === Participants permanents === | ||
| − | * Deux professeurs : [[Jean-François Dufourd|Jean-François Dufourd]] et [ | + | * Deux professeurs : [[Jean-François Dufourd|Jean-François Dufourd]] et [http://lsiit.u-strasbg.fr/igg-fr/index.php/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 27 mars 2011 à 17:59
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