|Time||Title and speaker|
IMPORTANT: All ARVI Meeting participants must register at the Entrance of the Cavallerizza, Via Verdi 9, to get: a badge, and the lunch ticket (if they have registered for it).
|8:45||Welcome (Paola Pisano, Deputy Mayor for Innovation and Smart City at the City of Turin) – Venue: Sala Multifunzione 1, Via Verdi 9|
|9:00||Asynchronous Software Evolution: Obtaining Type Safety by Combining Type Checking and Runtime Constraints (Einar Broch Johnsen)|
|10:30||Interactive Runtime Verification – when Interactive Debugging meets Runtime Verification (Raphaël Jakse)|
|11:00||Towards Automated Workload Selection and Benchmark Synthesis from Open-source Code Repositories (Walter Binder)|
|11:30||Monitoring Decentralized Specifications (Antoine El-Hokayem)|
|13:40||Management Committee meeting|
|15:00||Exploring the Adoption of Specification Inference Technologies in Industry (Luke Chircop)|
|15:40||Timed Shield Synthesis (Florian Lorber)|
|16:00||Runtime veriﬁcation of hard real-time systems properties (Andre Pedro)|
“Aula Magna del Rettorato“, University Of Torino, Via Verdi 8, Torino, Torino, Italy. Note different venue for registration and welcome speech.
The suggested accommodations are at a walking distance from conference venue. For information on bus and tram see the Torino public transportation company (GTT) web site (when travelling by public transport beware of pickpockets).
Ferruccio, Volker, & Christian