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 general schedule of the school will be as follows, with participants arriving on Sunday evening and leaving Friday afternoon. This information is preliminary, and some courses may be swapped:

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