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

  • (Co)inductive & 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.
  • EPIT en préparation

    EPIT récentes

    Comité de pilotage

    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).