Course material

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.

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 …