10:45-11:15

Boris Konev, Carsten Lutz, Ana Ozaki Rivera Castillo, Frank Wolter

11:15-11:45

Yazmin Ibanez-Garcia, Carsten Lutz, Thomas Schneider

11:45-12:15

Víctor Gutiérrez Basulto, Jean Christoph Jung, Thomas Schneider

10:45-11:15

Mehrdad Oveisi, James P. Delgrande, Francis Jeffry Pelletier, Fred Popowich

11:15-11:45

Davide Grossi, Wiebe Van Der Hoek

11:45-12:15

Andreas Herzig

12:15-12:20

Matt Duckham, Sanjiang Li, Weiming Liu, Zhiguo Long

12:20-12:25

Valeria Fionda, Claudio Gutierrez, Giuseppe Pirró

12:25-12:30

Vaishak Belle, Gerhard Lakemeyer

12:30-12:35

Andreas Sideris, Yannis Dimopoulos

12:35-12:40

Fabio Patrizi, Stavros Vassos

12:40-12:45

Leora Morgenstern

12:45-12:50

Yuping Shen, Xishun Zhao

12:50-12:55

Sofie De Clercq, Kim Bauters, Steven Schockaert, Martine De Cock, Ann Nowé

12:55-13:00

Martin Gebser, Tomi Janhunen, Jussi Rintanen

13:00-13:05

Michael Bartholomew, Joohyung Lee

12:15-12:20

Yi Zhou

12:20-12:25

Pedro Cabalar, Martín Diéguez

12:25-12:30

Valmi Dufour-Lussier, Alice Hermann, Florence Le Ber, Jean Lieber

12:30-12:35

Márcio Ribeiro, Renata Wassermann

12:35-12:40

James Delgrande

12:40-12:45

Luis Moniz Pereira, Emmanuelle-Anna Dietz, Steffen Hölldobler

12:45-12:50

Codruta Girlea, Eyal Amir, Roxana Girju

12:50-12:55

Guillaume Aucher

12:55-13:00

Xavier Parent, Leon van der Torre

14:30-15:00

Gerhard Lakemeyer, Hector J. Levesque

15:00-15:30

Alessio Lomuscio, Jakub Michaliszyn

15:30-16:00

Babak Bagheri Hariri, Diego Calvanese, Alin Deutsch, Marco Montali

14:30-15:00

Guy Van den Broeck, Wannes Meert, Adnan Darwiche

15:00-15:30

Hannes Strass, Johannes Peter Wallner

15:30-16:00

Ronald De Haan, Stefan Szeider

08:45-09:45

Edmund Clarke