The 2018 EPIT Spring School will take place in from May 7 to 11th in Aussois, France. The theme of this edition is Software Verification.

EPIT, which stands for École de Printemps en Informatique Théorique, is a long series of Spring schools in theoretical computer science, initiated by Maurice Nivat in 1973. Since then, it has covered various fields of computer science, and has been a key event where young researchers meet.

The theme of the 2018 school is software verification. The need for software verification in our information society has been recognized as early as in the ’70s and it is an ever-more-important concern today. Over the past decades, it has driven exciting research in various fields of theoretical computer science such as logic, automata, type systems, algorithms and complexity. Recently, verification techniques have seen rapid development and industrial adoptions, notably following the SMT revolution. The school will cover several fundamental aspects of software verification:

  • SMT solvers, by Pascal Fontaine (LORIA)
  • Type-based verification in F*, by Cătălin Hriţcu (Inria Paris)
  • Bounded model-checking, by Gennaro Parlato (University of Southampton)
  • Concurrent program logics, by Viktor Vafeiadis (MPI Kaiserslautern)

A detailed program will be announced soon, also featuring shorter talks on more specific issues.

The school will be held at Centre Paul-Langevin in Aussois, France. Participants and speakers will be hosted on location, in an inspiring mountain setting.