PROGRAM FOR FRIDAY, OCTOBER 11TH: TALK VIEW
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
09:00-10:00
Formal Methods Meet Autonomous Systems: a Journey on a Two-Year Research Collaboration with Industry
Claudio Menghi
10:30-11:00
Gleifer Alves, Louise Dennis, Michael Fisher
11:00-11:30
Andreas Nonnengart, Matthias Klusch, Christian Mueller
11:30-12:00
Maike Schwammberger, Christopher Bischopink
12:00-12:30
Keith Clark, Brijesh Dongol, Peter Robinson
15:00-15:30
Louis Viard, Laurent Ciarletta, Pierre-Etienne Moreau
16:00-17:00 Panel Discussion