Summer School in Software Engineering and Verification

Schedule

The schedule below is tentative and subject to change. Note that guest lectures shown on the schedule in brown and typically held after dinner are open to the general public.

The School schedule is also available for mobile devices. Please see http://guidebookapp.com or download a Guidebook app for your smartphone and enter code 205. The app is really quite handy to keep abreast of the schedule.