Slides and other course material is available on course pages (available from here) and short(er) talks page. The currently unavailable slides will be made available shortly.
Last chance to register
You can register until Friday, April 13th. Don’t wait! the process starts with a lightweight, instantaneous pre-registration step; registrations can be finalized after the deadline.
Travel information available
You can start planning your trip: all details are on our venue & travel page.
Registration is open
Registration is open: please register now !
First call for participation
A first call for participation has been sent out: ============================================== EPIT 2018 Software Verification Spring School ============================================== When: May 7-11, 2018 Where: Centre Paul-Langevin in Aussois, France Web: https://projects.lsv.fr/epit18/ ============================================== EPIT (École de Printemps en Informatique Théorique) is a long series of Spring schools in theoretical computer science, initiated by …
Website under construction
We are in the process of constructing the website. Check back later for more details: programme, registration, etc. Announces will be posted here as well, in addition to the usual mailing lists.