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é.
Les prochaines EPIT
EPIT en préparation
- en discussion EPIT 2027.
EPIT récentes
- (Co)inductive and circular reasoning applied to programming, formal proofs and verification, Centre Paul-Langevin, Aussois (G. Jaber, D. Kuperberg, L. Santocanale, A. Saurin), 19-23 mai 2025.
- Graphes et algorithmes : conjectures, Centre Paul-Langevin, Aussois (M. Bonamy, E. Bonnet, L. Feuilloley, A. Parreau, R. Watrigant), 13-17 mai 2024.
- Le Kaléidoscope de la Complexité, Île d'Oléron (D. Mazza, J. Ochremiak, S. Perifel, T. Seiller), 12-16 juin 2023.
- Apprentissage automatique, CIRM Luminy (O. Cappé, A. Garivier, R. Gribonval, E. Kaufmann, C. Vernade), 23-27 mai 2022.
- Informatique Quantique, CIRM Luminy (O. Fawzi, E. Kashefi, S. Perdrix), 24-28 mai 2021 (EPIT 2021).
- Théorie des types homotopiques (M. Sozeau, N. Tabareau), 12-16 avril 2021 (EPIT 2020).
- Donnéees, logique et automates, CIRM Luminy (A. Gheerbrant, L. Libkin, L. Segoufin, P. Senellart, C. Sirangelo), 8-12 avril 2019
- 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
- Marie Albenque (jusqu'à 2030)
- Marthe Bonamy (jusqu'à 2028)
- Pierrick Gaudry (jusqu'à 2029)
- Bruno Gaujal (jusqu'à 2031)
- Michele Pagani (jusqu'à 2025) [Président]
- Daniela Petrisan (jusqu'à 2027)
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), Jean Goubault-Larrecq (jusqu'à 2018), Delia Kesner (jusqu'à 2019), Valérie Berthé (jusqu'à 2021), Cristina Sirangelo (jusqu'à 2021), Nicolas Trotignon (jusqu'à 2022), Pierre-Alain Fouque (jusqu'à 2023), Sylvie Corteel (jusqu'à 2023), Aurélien Garivier (jusqu'à 2024).