10:45-11:05

Margus Veanes, Nikolaj Bjorner, Lev Nachmanson, Sergey Bereg

11:05-11:25

Tianyi Liang, Andrew Reynolds, Cesare Tinelli, Clark Barrett, Morgan Deters

11:25-11:45

Alexander Nadel

11:45-12:05

Liana Hadarean, Clark Barrett, Dejan Jovanović, Cesare Tinelli, Kshitij Bansal

12:05-12:25

Andrei Voronkov

12:25-12:45

Ruzica Piskac, Thomas Wies, Damien Zufferey

12:45-12:55

Ashish Tiwari, Patrick Lincoln

12:55-13:05

Bruno Dutertre

10:45-11:05

Margus Veanes, Nikolaj Bjorner, Lev Nachmanson, Sergey Bereg

11:05-11:25

Tianyi Liang, Andrew Reynolds, Cesare Tinelli, Clark Barrett, Morgan Deters

11:25-11:45

Alexander Nadel

11:45-12:05

Liana Hadarean, Clark Barrett, Dejan Jovanović, Cesare Tinelli, Kshitij Bansal

12:05-12:25

Andrei Voronkov

12:25-12:45

Ruzica Piskac, Thomas Wies, Damien Zufferey

12:45-12:55

Ashish Tiwari, Patrick Lincoln

12:55-13:05

Bruno Dutertre

10:45-11:45

Kenneth McMillan

11:45-12:15

Olaf Beyersdorff, Leroy Chew

12:15-12:45

Laura Bozzelli, Cesar Sanchez

14:30-15:00

Patrick Koopmann, Renate A. Schmidt

15:00-15:30

Andreas Steigmiller, Birte Glimm, Thorsten Liebig

15:30-16:00

David Carral, Cristina Feier, Bernardo Cuenca Grau, Pascal Hitzler, Ian Horrocks

16:30-17:00

İsmail İlkan Ceylan, Rafael Peñaloza

17:00-17:30

Michael Beeson, Larry Wos

17:30-17:50

Nicola Olivetti, Gian Luca Pozzato

17:50-18:10

Adam Pease, Stephan Schulz

08:45-09:45

Edmund Clarke