PROGRAM FOR WEDNESDAY, OCTOBER 10TH: TALK VIEW
Days:
previous 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
09:00-10:00
Nikolaj Bjorner, Marijn Heule, Karthick Jayaraman, Rahul Kumar
10:30-11:00
Lukas Holik, Ondrej Lengal, Juraj Síč, Margus Veanes, Tomas Vojnar
11:00-11:30
Bernard Boigelot, Isabelle Mainz
11:30-12:00
Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, Ichiro Hasuo
13:30-14:00
Anthony Lin, Rupak Majumdar
14:00-14:30
Jaroslav Bendík, Ivana Cerna, Nikola Benes
14:30-15:00
Dan Rasin, Orna Grumberg, Sharon Shoham
15:30-16:00
Pranav Ashok, Yuliya Butkova, Holger Hermanns, Jan Kretinsky
16:00-16:30
Pushpak Jagtap, Sadegh Soudjani, Majid Zamani
16:30-16:45
Salomon Sickert, Jan Kretinsky, Tobias Meggendorfer
16:45-17:15
Paul Gainer, Ernst Moritz Hahn, Sven Schewe
17:15-17:30
B.L. Mediouni, A. Nouri, M. Bozga, M. Dellabani, A. Legay, S. Bensalem
17:30-17:45 Closing and presentation of ATVA 2019
10:00-10:30 Coffee Break
12:00-13:30 Lunch Break
15:00-15:30 Coffee Break