The school will cover four aspects of software verification:

Each topic will be covered through a long course of six hours. In addition, the school will feature four one-hour talks on more specific issues:

The detailed schedule of all lectures and talks is available. A rough overview (slightly misleading) is shown below. Participants are expected to arrive on Sunday evening and leave Friday afternoon (travel information).

Mon Tue Wed Thu Fri
AM SMT 1 F★ 1 BMC 1 BMC 2 CPL 2
PM SMT 2 F★ 2 Excursion CPL 1