09:00-09:20

Aina Niemetz, Mathias Preiner, Yoni Zohar

09:20-09:40

Joseph Reeves, Marijn Heule, Randal Bryant

09:40-10:00

Yong Kiam Tan, Jiong Yang, Mate Soos, Magnus O. Myreen, Kuldeep S. Meel

10:00-10:10

A. Biere, T. Faller, K. Fazekas, M. Fleury, N. Froleyks, F. Pollitt

10:10-10:20

M. Azeem, M. Grobelna, S. Kanav, J. Kretinsky, S. Mohr, S. Rieder

10:20-10:30

Wu et.al

11:00-12:00

Leonardo de Moura

14:00-14:20

Arjun Pitchanathan, Albert Cohen, Oleksandr Zinenko, Tobias Grosser

14:20-14:40

Chenglin Wang, Fangzhen Lin

14:40-15:00

Marco Eilers, Malte Schwerhoff, Peter Müller

15:00-15:20

Michele Chiari, Luca Geatti, Nicola Gigante, Matteo Pradella

15:20-15:30

Chanhee Cho, Yi Zhou, Jay Bosamiya, Bryan Parno

16:00-16:20

Anders Miltner, Ziteng Wang, Swarat Chaudhuri, Isil Dillig

16:20-16:40

Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger, Julian Siber

16:40-17:00

Philippe Heim, Satya Prakash Nayak, Rayna Dimitrova, Anne-Kathrin Schmuck

17:00-17:20

Raven Beutner, Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner

17:20-17:40

Yi Lin, Moshe Vardi, Lucas Martinelli Tabajara

17:40-18:00

Bernd Finkbeiner, Niklas Metzger, Yoram Moses

18:00-18:10

Keith J.C. Johnson, Andrew Reynolds, Thomas Reps, Loris D'Antoni

18:10-18:20

Swen Jacobs

18:30-19:30

Scott Shapiro