CINXE.COM
Ecole de Printemps d'Informatique Théorique
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"> <head> <meta http-equiv="Content-Type" content="text/html; charset=utf-8" /> <meta name="author" content="realitysoftware.ca" /> <title>Ecole de Printemps d'Informatique Théorique</title> <link rel="stylesheet" type="text/css" href="css/style.css"/> </head> <body> <div id="container"> <div id="header"> <a href="index.html">Ecole de Printemps d'Informatique Théorique</a> </div> <div id="menu"> <a href="index.html">ACCUEIL</a> <a href="past.html">HISTORIQUE</a> <a href="rules.html">FONCTIONNEMENT</a> <a href="images.html">EN IMAGES</a> </div> <div id="sidebar"> <h1>Accueil</h1> </div> <div id="main"> <p> Initiée en 1973 par Maurice Nivat et ses collaborateurs, l'<b>Ecole de Printemps d'Informatique Théorique (EPIT)</b> 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é. </p> <h2>Les prochaines EPIT</h2> <ul> </ul> <li> <a href="https://epit2025.sciencesconf.org/">(Co)inductive and circular reasoning applied to programming, formal proofs and verification</a>, Centre Paul-Langevin, Aussois (G. Jaber, D. Kuperberg, L. Santocanale, A. Saurin), 19-23 mai 2025.</li> </ul> <h2>EPIT en préparation</h2> <p> <ul> <li> Probabilistic Programming (G. Baudart, M. Pagani, D. Petrisan, C. Tasson), 2026.</li> </ul> </p> <h2>EPIT récentes</h2> <p> <ul> <li> <a href="https://perso.ens-lyon.fr/edouard.bonnet/springSchool.htm">Graphes et algorithmes : conjectures</a>, Centre Paul-Langevin, Aussois (M. Bonamy, E. Bonnet, L. Feuilloley, A. Parreau, R. Watrigant), 13-17 mai 2024.</li> <li><a href="https://epit2023.sciencesconf.org/">Le Kaléidoscope de la Complexité</a>, Île d'Oléron (D. Mazza, J. Ochremiak, S. Perifel, T. Seiller), 12-16 juin 2023.</li> <li><a href="https://conferences.cirm-math.fr/2542.html">Apprentissage automatique</a>, CIRM Luminy (O. Cappé, A. Garivier, R. Gribonval, E. Kaufmann, C. Vernade), 23-27 mai 2022.</li> <li><a href="https://conferences.cirm-math.fr/2341.html"> Informatique Quantique</a>, CIRM Luminy (O. Fawzi, E. Kashefi, S. Perdrix), 24-28 mai 2021 (EPIT 2021).</li> <li><a href="https://epit2020cnrs.inria.fr/"> Théorie des types homotopiques</a> (M. Sozeau, N. Tabareau), 12-16 avril 2021 (EPIT 2020).</li> <li><a href="https://conferences.cirm-math.fr/1934.html">Donnéees, logique et automates</a>, CIRM Luminy (A. Gheerbrant, L. Libkin, L. Segoufin, P. Senellart, C. Sirangelo), 8-12 avril 2019</li> <li><a href="http://projects.lsv.fr/epit18/">Vérification de programmes</a>, Aussois (D. Baelde, C. Enea), 7-11 mai 2018</li> <li><a href="http://epit2017.labri.fr/fr/">Algorithmique distribuée</a>, Île de Porquerolles (A. Milani), 15-19 mai 2017</li> <li><a href="http://programme-scientifique.weebly.com/1438.html">Graphes et surfaces : Algorithmique, combinatoire et topologie</a>, Luminy (E. Colin de Verdière, G. Schaeffer), 9-13 mai 2016</li> <li><a href="http://yann.regis-gianas.org/coqepit/">Preuve mécanisée de programmes</a>, Fréjus (Y. Régis-Gianas), 24-29 mai 2015</li> <li><a href="http://igm.univ-mlv.fr/AlgoB/EPIT2014/">Algorithmique et bioinformatique</a>, Ile d'Oléron (S. Vialette), 11-16 mai 2014</li> <li><a href="http://perso.ens-lyon.fr/damien.stehle/epit13/">Réseaux euclidiens : algorithmique et applications</a>, Vercors (G. Hanrot, D. Stehlé), 17-22 mars 2013</li> </ul> <h2>Comité de pilotage</h2> <p><ul> <li> Marie Albenque (jusqu'à 2030)</li> <li>Marthe Bonamy (jusqu'à 2028)</li> <li> Aurélien Garivier (jusqu'à 2024)</li> <li> Pierrick Gaudry (jusqu'à 2029)</li> <li>Michele Pagani (jusqu'à 2025) [Président]</li> <li>Daniela Petrisan (jusqu'à 2027)</li> </ul> </p> <p>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). </p> </div> </div> </body> </html>