PROGRAM FOR WEDNESDAY, JULY 17TH: 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
19:30
20:00
20:30
21:00
21:30
22:00
22:30
09:00-10:00 Invited Talk: Specifying and Testing QUIC with Ivy (Ken McMillan, Microsoft Research)
10:30-10:50
Mitesh Jain, Panagiotis Manolios
10:50-11:10
Damien Busatto-Gaston, Benjamin Monmege, Pierre-Alain Reynier, Ocan Sankur
11:10-11:30
Eric Kim, Murat Arcak, Sanjit A. Seshia
11:30-11:50
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
11:50-12:10
G. Avni, R. Bloem, K. Chatterjee, T. Henzinger, B. Könighofer, S. Pranger
12:10-12:30
Shenghua Feng, Mingshuai Chen, Naijun Zhan, Martin Fränzle, Bai Xue
14:30-14:50
Jianwen Li, Kristin Y. Rozier, Moshe Y. Vardi
14:50-15:10
Andrew Reynolds, Andres Noetzli, Clark Barrett, Cesare Tinelli
15:30-15:40
Martin Jonáš, Jan Strejček
15:40-15:50
Andrew Reynolds, Haniel Barbosa, Andres Noetzli, Cesare Tinelli, Clark Barrett
15:50-16:00
Markus N. Rabe
16:50-17:10
M. Brain, A. Niemetz, M. Preiner, A. Reynolds, C. Barrett, C. Tinelli
17:10-17:30
Gao, Kapinski, Deshmukh, Roohi, Solar-Lezama, Arechiga, Kong
17:30-17:50
Heiko Becker, Eva Darulova, Magnus O. Myreen, Zachary Tatlock
19:00-22:30 Banquet (the Bay Room)
10:00-10:30 Coffee Break
12:30-14:30 Lunch Break
16:00-16:30 Decision Procedures Coffee Break