RV 2022: RUNTIME VERIFICATION 2022
PROGRAM FOR FRIDAY, SEPTEMBER 30TH: TALK VIEW
Days:
previous day
all days

View: with abstractssession overview

9:00
9:30
10:00
10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
17:30
09:00-10:00 Keynote M.Valko (Deepmind/Inria). Learning by Bootstrapping of Latents
10:00-10:30
Luca Geretti, Pieter Collins, Davide Bresolin, Tiziano Villa
10:30-11:00 Coffee Break
11:00-12:30
Peeyush Kushwaha, Rahul Purandare, Matthew Dwyer
11:00-12:30
Hannes Kallwies, Martin Leucker, Cesar Sanchez, Torben Scheffel
11:00-12:30
Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç
12:30-14:00 Lunch break
14:00-15:15
Muhammad Usman, Divya Gopinath, Youcheng Sun, Corina S. Pasareanu
14:00-15:15
Hasan Khan, Robertson, Liscano, Azim, Ahmed, Sundaresan, Chang
15:15-15:30 Closing ceremony (Best Paper Award, Test of Time Award, RV'23)
15:30-16:00 Coffee Break
16:00-17:30 CLAS Closing