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

  • Preuves de programmes, Aussois (D. Baelde, C. Enea), 7-11 mai 2018
  • 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).