Initiée en 1973 par Maurice Nivat et ses collaborateurs, l'Ecole de Printemps d'Informatique Théorique (EPIT) organise chaque année une école intensive dans un domaine de l'informatique théorique. Le public visé est composé de doctorants et de chercheurs confirmés qui souhaitent se spécialiser dans le domaine considéré.
La prochaine EPIT
- Vérification de programmes, Aussois (D. Baelde, C. Enea), 7-11 mai 2018
EPIT en préparation
- Donnéees, logique et automates, Luminy (A. Gheerbrant, L. Libkin, L. Segoufin, P. Senellart, C. Sirangelo), 8-12 avril 2019
- Théorie des types homotopiques, Île d'Oléron (M. Sozeau, N. Tabareau), 2020
EPIT récentes
- Algorithmique distribuée, Île de Porquerolles (A. Milani), 15-19 mai 2017
- Graphes et surfaces : Algorithmique, combinatoire et topologie, Marseille (E. Colin de Verdière, G. Schaeffer), 9-13 mai 2016
- Preuve mécanisée de programmes, Fréjus (Y. Régis-Gianas), 24-29 mai 2015
- Algorithmique et bioinformatique, Ile d'Oléron (S. Vialette), 11-16 mai 2014
- Réseaux euclidiens : algorithmique et applications, Vercors (G. Hanrot, D. Stehlé), 17-22 mars 2013
Comité de pilotage
- Valérie Berthé (jusqu'à 2021)
- Jean Goubault-Larrecq (jusqu'à 2018)
- Pierre-Alain Fouque (jusqu'à 2023)
- Delia Kesner (jusqu'à 2019) [Présidente]
- Nicolas Trotignon (jusqu'à 2022)
- Cristina Sirangelo (jusqu'à 2021)
Anciens membres (depuis 2002) : Jean-Eric Pin (jusqu’à 2009), Daniel Krob (jusqu’à 2010), Jean-Michel Muller (jusqu’à 2011), Roberto Amadio (jusqu'à 2012), Pierre-Louis Curien (jusqu’à 2013), Jean Mairesse (jusqu'à 2015), Anca Muscholl (jusqu'à 2015), Frédéric Magniez (jusqu'à 2016), Guillaume Hanrot (jusqu'à 2017).