11:00-11:30

Shubhani Gupta, Aseem Saxena, Anmol Mahajan, Sorav Bansal

11:30-12:00

A. Cimatti, A. Griggio, A. Irfan, M. Roveri, R. Sebastiani

12:00-12:30

Sean Weaver, Hannah Roberts, Michael Smith

14:00-14:30

Stepan Kochemazov, Oleg Zaikin

14:30-15:00

Alexey Ignatiev, Antonio Morgado, Joao Marques-Silva

15:00-15:30

S. Korneev, N. Narodytska, L. Pulina, A. Tacchella, N. Bjorner, M. Sagiv

16:00-16:05

Christoph M. Wintersteiger, Olaf Beyersdorff

16:05-16:33

Fahiem Bacchus, Matti Järvisalo, Ruben Martins

16:33-17:01

Luca Pulina, Martina Seidl

17:01-17:29

Chuan Luo, Holger Hoos

17:29-18:00

Marijn Heule, Matti Järvisalo, Martin Suda