PROGRAM FOR THURSDAY, OCTOBER 20TH: 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
21:00
21:30
22:00
22:30
08:30-09:00 Registration
09:00-10:05
Oliver Flatt, Samuel Coward, Max Willsey, Zachary Tatlock, Pavel Panchekha
09:00-10:05
Noetzli, Barbosa, Niemetz, Preiner, Reynolds, Tinelli, Barrett
10:05-10:30 Coffee break
10:30-11:00
Emily Yu, Nils Frolyeks, Armin Biere, Keijo Heljanko
10:30-11:00
Abhishek Nair, Saranyu Chattopadhyay, Haoze Wu, Alex Ozdemir, Clark Barrett
11:00-12:05
T. Vigouroux, C. Ene, D. Monniaux, L. Mounier, M.-L. Potet
12:05-12:40
Pankaj Kumar Kalita, Subhajit Roy
Dominik Klumpp, Azadeh Farzan, Andreas Podelski
Siddharth Priya
Omri Isac, Clark Barrett, Min Zhang, Guy Katz
Tobias Paxian
Daniella Vo, Debashis Sahoo
Muhammad Usama Sardar
Tom Zelazny, Haoze Wu, Clark Barrett, Guy Katz
Suwei Yang, Victor Liang, Kuldeep S. Meel
12:40-14:00 Lunch
14:00-15:30
Swen Jacobs, Mouhammad Sakr, Marcus Völp
14:00-15:30
Ruoxi Zhang, Richard Trefler, Kedar Namjoshi
14:00-15:30
Ali Ebnenasir
14:00-15:30
P. Georgiou, B. Gleiss, A. Bhayat, M. Rawson, L. Kovacs, G. Reger
15:30-16:00 Coffee break
16:00-17:15
A. Konrad, C. Scholl, A. Mahzoon, D. Große, R. Drechsler
18:30-22:30 Banquet at Cantina Martinelli