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
- Donnéees, logique et automates, Luminy (A. Gheerbrant, L. Libkin, L. Segoufin, P. Senellart, C. Sirangelo), 8-12 avril 2019
EPIT en préparation
- Théorie des types homotopiques, Île d'Oléron (M. Sozeau, N. Tabareau), 25-29 Mai 2020
- Informatique Quantique (O. Fawzi, E. Kashefi, S. Perdrix), 2021
EPIT récentes
- Vérification de programmes, Aussois (D. Baelde, C. Enea), 7-11 mai 2018
- Algorithmique distribuée, Île de Porquerolles (A. Milani), 15-19 mai 2017
- Graphes et surfaces : Algorithmique, combinatoire et topologie, Luminy (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).