Summer School in Software Engineering and Verification


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 or download a Guidebook app for your smartphone and enter code 205. The app is really quite handy to keep abreast of the schedule.