Différences entre les versions de « Spécifications, contraintes et preuves »
Aller à la navigation
Aller à la recherche
(→Bilan) |
|||
| Ligne 12 : | Ligne 12 : | ||
* 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]] | ||
| + | |||
| + | === Autres participants === | ||
| + | '''Participants''' : Gabriel Braun MC associé en 2009 | ||
| + | |||
| + | '''Post-doctorants''' : Simon E.B. Thierry ATER | ||
| + | |||
| + | '''Doctorants''' : Rémi Imbach | ||
== Perspectives == | == Perspectives == | ||
Version du 27 mars 2011 à 19:31
Bilan
Né de la fusion des opérations 2 et 3 dans l'ancienne terminologie LSIITesque, et familièrement appelée opération 23, l'axe "Spécifications, contraintes et preuves" continue sous une autre organisation un thème qui nous tient à cœur et qui concerne la certification logicielle dans le domaine de la géométrie. Cela englobe naturellement le domaine de la formalisation et de la preuve en géométrie, mais aussi la spécification de types abstraits et d'algorithmes certifiés concernant la géométrie.
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
Autres participants
Participants : Gabriel Braun MC associé en 2009
Post-doctorants : Simon E.B. Thierry ATER
Doctorants : Rémi Imbach