13:00-13:30

Joshua Brakensiek, Marijn Heule, John Mackey, David Narvaez

13:30-14:00

Leroy Chew, Judith Clymo

14:00-14:30

Lee A. Barnett, David Cerna, Armin Biere

14:30-15:00

Stéphane Graham-Lengrand, Dejan Jovanović, Bruno Dutertre

13:00-13:30

Walter Guttmann

13:30-14:00

Paulo Emílio de Vilhena, Lawrence Paulson

14:00-14:30

Filip Maric

14:30-15:00

Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf

15:15-16:15

Elaine Pimentel, Sonia Marin, Dale Miller, Marco Volpe

16:30-17:00

Max Kanovich, Stepan Kuznetsov, Vivek Nigam, Andre Scedrov

17:00-17:30

Franz Baader, Jakub Rydval

17:30-18:00

Brandon Bohrer, André Platzer

18:00-18:30

Daniel Hausmann, Lutz Schröder

16:30-16:45

Adam Pease

16:45-17:00

Giselle Reis, Zan Naeem, Mohammed Hashim

17:00-17:15

Tiziano Dalmonte, Nicola Olivetti, Gian Luca Pozzato

17:15-17:30

Marianna Girlando, Lutz Straßburger

17:30-17:45

Anne Baanen

17:45-18:00

Michael Kohlhase, Florian Rabe, Claudio Sacerdoti Coen, Jan Frederik Schaefer