PROGRAM FOR TUESDAY, JULY 16TH: TALK VIEW
Days:
previous day
next 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
18:00
18:30
19:00
09:00-10:00 Invited Talk: Open Challenges in AI and Formal Verification (Dawn Song, UC Berkeley)
10:30-10:50
Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah
10:50-11:10
Grigory Fedyukovich, Sumanth Prabhu, Kumar Madhukar, Aarti Gupta
11:10-11:30
Aws Albarghouthi, Loris D'Antoni, Samuel Drews
11:30-11:50
Miriam García Soto, Thomas A. Henzinger, Christian Schilling, Luka Zeleznik
11:50-12:10
Saswat Padhi, Todd Millstein, Aditya Nori, Rahul Sharma
12:10-12:30
Qinheping Hu, Jason Breck, John Cyphert, Loris D'Antoni, Thomas Reps
13:00-14:30 Presentation of the CAV award. Invited talk by the CAV award winners.
14:30-14:40
N. Gavrilenko, H. Ponce-De-Leon, F. Furbach, K. Heljanko, R. Meyer
14:40-14:50
Jennifer Davis, Laura Humphrey, Derek Kingston
14:50-15:00
A. Cimatti, A. Griggio, E. Magnago, M. Roveri, S. Tonetta
15:00-15:10
S. Lau, V.B.F. Gomes, K. Memarian, J. Pichon-Pharabod, P. Sewell
15:10-15:30
Zhenya Zhang, Ichiro Hasuo, Paolo Arcaini
15:30-15:40
Faymonville, Finkbeiner, Schledjewski, Schwenger, Stenger, Tentrup, Torfah
15:40-15:50
Dreossi, J. Fremont, Ghosh, Kim, Ravanbakhsh, Vazquez-Chanlatte, A. Seshia
16:30-16:50
Chih-Duo Hong, Anthony Widjaja Lin, Rupak Majumdar, Philipp Ruemmer
16:50-17:10
Milan Ceska, Jan Kretinsky
17:10-17:30
Pranav Ashok, Jan Kretinsky, Maximilian Weininger
17:30-17:50
Masaki Waga, Étienne André, Ichiro Hasuo
17:50-18:00
Thakur Neupane, Chris J. Myers, Curtis Madsen, Hao Zheng, Zhen Zhang
18:00-19:00 Business meeting
10:00-10:30 Coffee Break
12:30-13:00 Lunch Break (catered)
16:00-16:30 Coffee Break