Différences entre les versions de « Spécifications, Contraintes et Preuves en Géométrie Bilan2016-2021 »
Aller à la navigation
Aller à la recherche
(Page créée avec « ===Objectifs/Challenges=== ===Participants=== * Un professeur : Pascal Schreck * Quatre maîtres de conférences : [http://dpt-info.u-strasbg.fr/~magaud Nicolas Magaud… ») |
(Aucune différence)
|
Version du 5 janvier 2021 à 10:03
Objectifs/Challenges
Participants
- Un professeur : Pascal Schreck
- Quatre maîtres de conférences : Nicolas Magaud, Pascal Mathis (HDR), Julien Narboux
- Deux doctorants : David Braun (Allocataire UNISTRA du 10/2015 au 09/2018) et Pierre Boutry (Allocataire UNISTRA du 10/2013 au 09/2016)