 |
4-7 avr. 2023 Paris (France)
|
 |
|
|
|
|
Comités
Comité scientifique des journées nationales
- Patrick Baillot, CNRS, CRIStAL, Université de Lille
- Frédérique Bassino, LIPN, Université Paris-13
- Pierre Fraignaud, CNRS, IRIF, Université Paris Cité
- Jean-Michel Muller, CNRS, LIP, ENS Lyon
- Guillaume Theyssier, I2M, CNRS, Université Aix Marseille
Comité scientifique de la demi-journée thématique "Assistants de preuve"
Comité d'organisation
- Marie Albenque, IRIF, Université Paris Cité
- Marie Fortin, IRIF, Université Paris Cité
- Mikaël Rabie, IRIF, Université Paris Cité
- Arnaud Sangnier, IRIF, Université Paris Cité
| Personnes connectées : 2 | Flux RSS | Vie privée |
|
