The school will cover four aspects of software verification:
- SMT solvers, by Pascal Fontaine (LORIA)
- Program verification with 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)
Each topic will be covered through a long course of six hours and a shorter talk about a more specific issue.
More details will be made available shortly.