PROGRAM FOR MONDAY, AUGUST 8TH: 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
Yuxin Fan, Fu Song, Taolue Chen, Liangfeng Zhang, Wanwei Liu
09:00-10:30
Coenen, Dachselt, Finkbeiner, Frenkel, Hahn, Horak, Metzger, Siber
09:00-10:30
E. Albert, M. Bellés-Muñoz, M. Isabel, C. Rodríguez-Núñez, A. Rubio
09:00-10:30
Thilo Weghorn, Si Liu, Christoph Sprenger, Adrian Perrig, David Basin
09:00-10:30
Priyanka Mondal, Maximilian Algehed, Owen Arden
09:00-10:30
David Mestel, Johannes Müller, Pascal Reisert
09:00-10:30
Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach
09:00-10:30
Gereon Kremer, Andrew Reynolds, Clark Barrett, Cesare Tinelli
09:00-10:30
Hrutvik Kanabar, Anthony Fox, Magnus Myreen
09:00-10:30
H. Becker, M. Tekriwal, E. Darulova, A. Volkova, J.-B. Jeannin
10:00-10:30
Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach
11:00-12:30 Invited Talk: A Billion SMT Queries a Day (Neha Rungta)
11:00-12:30
Sergiu Bursuc, Sjouke Mauw
11:00-12:30
Yun Lu, Michele Ciampi, Vassilis Zikas
11:00-12:30
François Dupressoir, Konrad Kohbrok, Sabine Oechsner
11:00-12:30
Faiq Miftakhul Falakh, Sebastian Rudolph
11:00-12:30
Vinícius Bitencourt Matos, Renata Wassermann
11:00-12:30
Federica Di Stefano, Magdalena Ortiz, Mantas Simkus
11:00-12:30
Martin Homola, Júlia Pukancová, Iveta Balintová, Janka Boborová
11:00-12:30
André Duarte, Konstantin Korovin
11:00-12:30
Martin Bromberger, Lorenz Leutgeb, Christoph Weidenbach
11:00-12:30
Yury Kudryashov
11:00-12:30
Faiq Miftakhul Falakh, Sebastian Rudolph
11:00-12:30
Vinícius Bitencourt Matos, Renata Wassermann
11:00-12:30
Federica Di Stefano, Magdalena Ortiz, Mantas Šimkus
11:00-12:30
Martin Homola, Júlia Pukancová, Iveta Balintová, Janka Boborová
14:00-15:30
R. Banno, K. Matsuoka, N. Matsumoto, S. Bian, M. Waga, K. Suenaga
14:00-15:30
Stanley Bak, Sergiy Bogomolov, Niklas Kochdumper, Ethan Lew, Kostiantyn Potomkin
14:00-15:30
Eric Goubault, Sylvie Putot
14:00-15:30
Geunyeol Yu, Jia Lee, Kyungmin Bae
14:00-15:30
Polgreen, Cheang, Gaddamadugu, Godbole, Laeufer, Lin, Manerkar, Mora, Seshia
14:00-15:30
Meghyn Bienvenu, Camille Bourgaux
14:00-15:30
Z. Gu, D. Lanti, A. Mosca, G. Xiao, J. Xiong, D. Calvanese
14:00-15:30
Philippe Balbiani, Cigdem Gencer, Martin Diéguez
14:00-15:30
Tanel Tammet, Dirk Draheim, Priit Järv
14:00-15:30
Cláudia Nalon, Ullrich Hustadt, Fabio Papacchini, Clare Dixon
14:00-15:30
C. Alrabbaa, F. Baader, S. Borgwardt, R. Dachselt, P. Koopmann, J. Méndez
14:00-15:30
Hui Yang, Yue Ma, Nicole Bidoit
14:00-15:30
Bohua Zhan, Yi Lv, Shuling Wang, Gehang Zhao, Jifeng Hao, Ye Hong, Bican Xia
14:00-15:30
Clayton Baker, Thomas Meyer
16:00-17:30
Chaitanya Agarwal, Shibashis Guha, Jan Křetínský, Pazhamalai Muruganandham
16:00-17:30
Thom Badings, Nils Jansen, Sebastian Junges, Marielle Stoelinga, Matthias Volk
16:00-17:30
Pablo Castro, Pedro R. D'Argenio, Luciano Putruele, Ramiro Demasi
16:00-17:30
Lorenz Leutgeb, Georg Moser, Florian Zuleger
16:00-17:30
Aina Niemetz, Mathias Preiner, Clark Barrett
16:00-17:30 Mentoring Session and 5-minute Talks
16:00-17:30
F. Baader, P. Koopmann, F. Michel, A.-Y. Turhan, B. Zarriess
16:00-17:30
Maurice Funk, Jean Christoph Jung, Carsten Lutz
16:00-17:30
Satyadharma Tirtarasa, Anni-Yasmin Turhan
16:00-17:30
Laura Giordano, Alberto Martelli, Daniele Theseider Dupre
16:00-17:30
Mauro Ferrari, Camillo Fiorentini
16:00-17:30
Hannes Ihalainen, Jeremias Berg, Matti Järvisalo
16:00-17:30
Takuya Matsuzaki, Tomohiro Fujita
16:00-17:30 ITP Business Meeting
16:00-17:30
Jesse Heyninck, Gabriele Kern-Isberner, Tommie Meyer
16:00-17:30
Giovanni Casini, Thomas Meyer, Ivan Varzinczak
16:00-17:30
Xavier Parent
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
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
10:30-11:00 Coffee 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
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
15:30-16:00 Coffee Break
18:30-20:30 Walking tour (at Haifa)
18:30-20:30 Walking tour (at Haifa)
18:30-20:30 Walking tour (at Haifa)
18:30-20:30 Walking tour (at Haifa)
18:30-20:30 Walking tour (at Haifa)
18:30-20:30 Walking tour (at Haifa)
18:30-20:30 Walking tour (at Haifa)
18:30-20:30 Walking tour (at Haifa)