Table ronde: Enseigner avec les assistants de preuves.
1 : INRIA
L'Institut National de Recherche en Informatique et e n Automatique (INRIA), ENS Lyon
2 : ENS Lyon
École normale supérieure - Lyon (ENS Lyon)
3 : Université de Strasbourg
université de Strasbourg, (Université de Strasbourg)
4 : Sorbonne Paris Nord
Université Sorbonne Paris nord
5 : Université Paris-Cité
Université Paris Cité, Université Paris Cité
Après une introduction de Christine Paulin, nous aurons 4 retours d'expérience d'environ 10 minutes chacun par:
- Yannick Zakowski (INRIA et ENS Lyon)
- Julien Narboux (Université de Strasbourg)
- Micaela Mayero et Pierre Rousselin (Université Sorbonne Paris Nord)
- Riccardo Brasca (Université Paris Cité)
Ces exposés seront suivis d'une séance de discussion et de questions.
Plus d'informations et slides des présentations de la 1/2 journée : https://www.irif.fr/users/saurin/jnim24-journee-thematique
| Type : | : | typdoc_39507 |
| Langue du texte intégral | : | français |
| Date de production, écriture | : | 22/12/2024 |
| Thématiques | : | 1/2 journée "Assistants de preuve" |
| PDF version | : |  PDF version |
- Poster
