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
- Graphes et algorithmes : conjectures, Centre Paul-Langevin, Aussois (M. Bonamy, E. Bonnet, L. Feuilloley, A. Parreau, R. Watrigant), 13-17 mai 2024.
EPIT en préparation
- (Co)inductive & circular reasoning applied to programming, formal proofs and verification (G. Jaber, D. Kuperberg, L. Santocanale, A. Saurin), 2025.
EPIT récentes
- 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
- Sylvie Corteel (jusqu'à 2027)
- Pierre-Alain Fouque (jusqu'à 2023)
- Aurélien Garivier (jusqu'à 2024)
- Michele Pagani (jusqu'à 2025) [Président]
- Daniela Petrisan (jusqu'à 2027)
- Marthe Bonamy (jusqu'à 2028)
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).