Workshop Program


VerifyThis 2018

Saturday 14 April 2018, Melpomeni

08:00 Registration opens
08:30 – 09:00 Welcome
09:00 – 10:30 Invited Talk: Alexander J. Summers
Viper for Verifying This: An Introductory Tutorial
10:30 – 11:00 Coffee Break
11:00 – 12:30 Challenge 1
12:30 – 14:00 Lunch Break
14:00 – 15:30 Challenge 2
15:30 – 16:00 Coffee Break
16:00 – 17:30 Challenge 3
17:30 – 19:00 Discussions with the competition judges


Sunday 15 April 2018, Melpomeni

09:00 – 10:00 Discussions with the competition judges
10:00 – 10:30 Coffee Break
10:30 – 12:30 Discussions with the competition judges
12:30 – 14:00 Lunch
14:00 – 16:00 Discussions with the competition judges