8:00 – 8:45 Registration
8:45 – 9:15 Bus to IMDEA Software
9:15 – 9:30 Tutorial Overview
9:30 – 11:00 Tutorials 1 and 2 (parallel sessions) – part 1

Tutorial 1 (part 1): Borzoo Bonakdarpour and Bernd Finkbeiner.
Runtime Verification for HyperLTL

Tutorial 2 (part 1): Nikolaï Kosmatov, Julien Signoles.
Frama-C, a Collaborative Framework for C Code Verification
11:00 – 11:30 Coffee Break
11:30 – 13:00 Tutorials 1 and 2 (parallel sessions) – part 2

Tutorial 1 (part 2): Borzoo Bonakdarpour and Bernd Finkbeiner.
Runtime Verification for HyperLTL

Tutorial 2 (part 2): Nikolaï Kosmatov, Julien Signoles.
Frama-C, a Collaborative Framework for C Code Verification
13:00 – 14:00 Lunch
14:00 – 16:00 Tutorials 3 and 4 (parallel sessions)

Tutorial 3: Doron Peled.
Using Genetic Programming for Software Reliability

Tutorial 4: Sylvain Hallé.
When RV meets CEP
16:00 – 16:30 Coffee Break
16:30 – 18:30 Tutorial 5: Philip Daian, Dwight Guth, Chris Hathhorn, Yilong Li, Edgar Pek, Manasvi Saxena, Traian Florin Serbanuta and Grigore Rosu.
Runtime Verification at Work: A Tutorial
18:45 – 19:15 Bus to La Residencia
19:30 – Cocktail