PROGRAM FOR SUNDAY, AUGUST 7TH: TALK VIEW
Days:
previous day
next day
all days
View: with abstractssession overview
8:30
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
18:00
18:30
19:00
19:30
20:00
20:30
09:00-10:30
Jialu Bao, Nitesh Trivedi, Drashti Pathak, Justin Hsu, Subhajit Roy
09:00-10:30
K. Chatterjee, A.K. Goharshady, T. Meggendorfer, Đ. Žikelić
09:00-10:30
Mingshuai Chen, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler
09:00-10:30
Sebastian Junges, Matthijs T. J. Spaan
09:00-10:30
Petar Paradžik, Ante Derek
09:00-10:30
Reynaldo Gil-Pons, Ross Horne, Sjouke Mauw, Alwen Tiu, Rolando Trujillo-Rasua
09:00-10:30
Veronique Cortier, Antoine Dallon, Stephanie Delaune
09:00-10:30
Meghyn Bienvenu, Quentin Manière, Michaël Thomazo
09:00-10:30
Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
09:00-10:30
M. Fortin, B. Konev, V. Ryzhikov, Y. Savateev, F. Wolter, M. Zakharyaschev
09:15-09:30 Welcome and Opening
09:30-10:30
Ofer Arieli, Annemarie Borg, Matthis Hesse, Christian Strasser
09:30-10:30
Michael Bernreiter, Wolfgang Dvořák, Anna Rapberger, Stefan Woltran
10:00-10:30 Opening remarks
14:00-15:30
M. Fischer, C. Sprecher, D.I. Dimitrov, G. Singh, M. Vechev
14:00-15:30
Brandon Paulsen, Chao Wang
14:00-15:30
Peng Jin, Jiaxu Tian, Dapeng Zhi, Xuejun Wen, Min Zhang
14:00-15:30
Casadio, Komendantskaya, Daggitt, Kokke, Katz, Amir, Refaeli
14:00-15:30
L. Li, Y. Liu, D. Postol, L. Lampropoulos, D. Van Horn, M. Hicks
14:00-15:30
Akram El-Korashy, Roberto Blanco, Jérémy Thibault, Deepak Garg, Catalin Hritcu
14:00-15:30
Van Strydonck, Georges, Guéneau, Trieu, Timany, Piessens, Birkedal, Devriese
14:00-15:30
Loris Bozzato, Thomas Eiter, Rafael Kiesel
14:00-15:30
Oskar Abrahamsson, Magnus O. Myreen, Ramana Kumar, Thomas Sewell
14:00-15:30
Johannes Åman Pohjola, Alejandro Gómez-Londoño, James Shaker, Michael Norrish
15:00-15:30
Loris Bozzato, Thomas Eiter, Rafael Kiesel
16:00-17:30
Mayuko Kori, Natsuki Urabe, Shin-ya Katsumata, Kohei Suenaga, Ichiro Hasuo
16:00-17:30
Yucheng Ji, Hongfei Fu, Bin Fang, Haibo Chen
16:00-17:30
Ahmed Bouajjani, Wael-Amine Boutglay, Peter Habermehl
16:00-17:30
Prantik Chatterjee, Jaydeepsinh Meda, Akash Lal, Subhajit Roy
16:00-17:30
Leonardo Alt, Martin Blicha, Antti Hyvärinen, Natasha Sharygina
16:00-17:30
Alisa Pankova, Peeter Laud
16:00-17:30
Igor de Camargo E Souza Câmara, Anni-Yasmin Turhan
16:00-17:30
Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass
16:00-17:30
Frédéric Dupuis, Robert Lewis, Heather Macbeth
16:00-17:30
Chelsea Edmonds, Lawrence C. Paulson
16:00-17:30
Koundinya Vajjha, Barry Trager, Avraham Shinnar, Vasily Pestun
16:00-17:30
Igor de Camargo E Souza Câmara, Anni-Yasmin Turhan
16:00-17:30
Lucia Gómez Álvarez, Sebastian Rudolph, Hannes Strass
08:30-09:00 Coffee & Refreshments
08:30-09:00 Coffee & Refreshments
08:30-09:00 Coffee & Refreshments
08:30-09:00 Coffee & Refreshments
08:30-09:00 Coffee & Refreshments
08:30-09:00 Coffee & Refreshments
08:30-09:00 Coffee & Refreshments
10:30-11:00 Coffee Break
10:30-11:00 Coffee Break
10:30-11:00 Coffee Break
10:30-11:00 Coffee Break
10:30-11:00 Coffee Break
10:30-11:00 Coffee Break
10:30-11:00 Coffee Break
11:00-12:00
Ziyad Hanna
11:00-12:00
Ziyad Hanna
11:00-12:00
Ziyad Hanna
11:00-12:00
Ziyad Hanna
11:00-12:00
Ziyad Hanna
11:00-12:00
Ziyad Hanna
11:00-12:00
Ziyad Hanna
12:30-14:00 Lunch Break
12:30-14:00 Lunch Break
12:30-14:00 Lunch Break
12:30-14:00 Lunch Break
12:30-14:00 Lunch Break
12:30-14:00 Lunch Break
12:30-14:00 Lunch Break
15:30-16:00 Coffee Break
15:30-16:00 Coffee Break
15:30-16:00 Coffee Break
15:30-16:00 Coffee Break
15:30-16:00 Coffee Break
15:30-16:00 Coffee Break
15:30-16:00 Coffee Break
17:30-18:45 Logic Lounge: Future of Autonomous Driving; Keynote by Shai Shalev-Shwartz (Mobileye and The Hebrew University of Jerusalem); Panel: Gila Kamhi (Intel, Haifa), Sanjit Seshia (UC Berkeley)
17:30-18:45 Logic Lounge: Future of Autonomous Driving; Keynote by Shai Shalev-Shwartz (Mobileye and The Hebrew University of Jerusalem); Panel: Gila Kamhi (Intel, Haifa), Sanjit Seshia (UC Berkeley)
17:30-18:45 Logic Lounge: Future of Autonomous Driving; Keynote by Shai Shalev-Shwartz (Mobileye and The Hebrew University of Jerusalem); Panel: Gila Kamhi (Intel, Haifa), Sanjit Seshia (UC Berkeley)
17:30-18:45 Logic Lounge: Future of Autonomous Driving; Keynote by Shai Shalev-Shwartz (Mobileye and The Hebrew University of Jerusalem); Panel: Gila Kamhi (Intel, Haifa), Sanjit Seshia (UC Berkeley)
17:30-18:45 Logic Lounge: Future of Autonomous Driving; Keynote by Shai Shalev-Shwartz (Mobileye and The Hebrew University of Jerusalem); Panel: Gila Kamhi (Intel, Haifa), Sanjit Seshia (UC Berkeley)
17:30-18:45 Logic Lounge: Future of Autonomous Driving; Keynote by Shai Shalev-Shwartz (Mobileye and The Hebrew University of Jerusalem); Panel: Gila Kamhi (Intel, Haifa), Sanjit Seshia (UC Berkeley)
17:30-18:45 Logic Lounge: Future of Autonomous Driving; Keynote by Shai Shalev-Shwartz (Mobileye and The Hebrew University of Jerusalem); Panel: Gila Kamhi (Intel, Haifa), Sanjit Seshia (UC Berkeley)
19:00-20:30 FLoC Reception (at the Technion)
19:00-20:30 FLoC Reception (at the Technion)
19:00-20:30 FLoC Reception (at the Technion)
19:00-20:30 FLoC Reception (at the Technion)
19:00-20:30 FLoC Reception (at the Technion)
19:00-20:30 FLoC Reception (at the Technion)
19:00-20:30 FLoC Reception (at the Technion)