09:00-10:00

Jeremy Avigad

10:00-10:30

Nils Froleyks, Emily Yu, Armin Biere, Keijo Heljanko

11:00-11:30

Camillo Fiorentini, Mauro Ferrari

11:30-12:00

Alessandro Bruni, Eike Ritter, Carsten Schuermann

12:00-12:30

Philippe Balbiani, Han Gao, Çigdem Gencer, Nicola Olivetti

14:00-14:30

Jan-Christoph Kassing, Grigory Vartanyan, Jürgen Giesl

14:30-15:00

Jonas Schöpf, Fabian Mitterwallner, Aart Middeldorp

15:00-15:20

Adrian De Lon

15:20-15:40

Nils Lommen, Eleanore Meyer, Jürgen Giesl

15:40-16:00

Ahmed Bhayat, Martin Suda

16:30-17:00

D. Amrollahi, M. Hajdu, P. Hozzová, L. Kovács, A. Voronkov, E.M. Wagner

17:00-17:30

Jan Heuer, Christoph Wernhard

17:30-18:00

S.H. Einarsdóttir, M. Hajdu, M. Johansson, N. Smallbone, M. Suda

18:00-18:30

Uwe Waldmann