FLoC on Sunday, July 18th

previous day next day See also the by session program.
09:00‑10:00
Somesh Jha
10:00‑10:15
CAV Award Ceremony
09:00‑09:12
Kim Bauters, Jeroen Janssen, Steven Schockaert, Dirk Vermeir and Martine De Cock
10:00‑10:30
Coffee break
11:45‑12:10
Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas Henzinger and Barbara Jobstmann
10:30‑11:00
Moritz Y. Becker
11:30‑12:00
Andrey Chudnov and David Naumann
10:30‑11:00
Vincent Aravantinos, Ricardo Caferra and Nicolas Peltier
11:00‑11:15
Vincent Aravantinos, Ricardo Caferra and Nicolas Peltier
12:30‑14:00
Lunch
14:00‑15:00
Deepak Kapur (University of New Mexico)
15:00‑15:30
Coffee break
16:20‑16:45
Pavol Cerny, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri and Rajeev Alur
17:10‑17:35
Aws Albarghouthi, Arie Gurfinkel, Ou Wei and Marsha Chechik
17:35‑17:50
Clark Barrett, Morgan Deters, Albert Oliveras and Aaron Stump
16:30‑17:00
Benedikt Schmidt, Patrick Schaller and David Basin
15:30‑16:00
Jonathan Abourbih, Luke Blaney, Alan Bundy and Fiona McNeill
16:00‑16:30
Hicham Bensaid, Ricardo Caferra and Nicolas Peltier