08:45-09:45

Luca Viganò

09:45-10:15

Norbert Manthey

08:45-09:45

David Harel

09:45-10:15

Alvis Brazma, Karlis Cerans, Dace Ruklisa, Thomas Schlitt, Juris Viksna

09:00-10:15

Georg Gottlob, Thomas Lukasiewicz, Andreas Pieris

09:00-10:15

Leonid Ryzhyk

09:00-10:15

Alexander Shvartsman

09:00-10:15

Gabriele Kern-Isberner

10:45-11:15

Vernon Asuncion, Yan Zhang, Heng Zhang

11:15-11:45

Angelos Charalambidis, Panos Rondogiannis

11:45-12:15

Marc Denecker, Joost Vennekens

12:15-12:45

Amelia Harrison, Vladimir Lifschitz, Fangkai Yang

10:45-11:15

Alexander Bochman

11:15-11:45

Joseph Halpern

11:45-12:15

Adam Bjorndahl, Joseph Halpern, Rafael Pass

12:15-12:45

Egor Ianovski, Luke Ong

10:45-11:15

Ayrat Khalimov, Swen Jacobs, Roderick Bloem

11:15-11:45

Susmit Jha, Sanjit A. Seshia

11:45-13:00

Bernd Finkbeiner

10:45-11:15

Mark Judge

11:15-11:45

Claudia Schon, Ulrich Furbach, Frieder Stolzenburg

11:45-12:15

Mark Judge

12:15-12:45

Christoph Wernhard

12:45-13:15

Alexander Lyaletski

10:45-11:30

Radu Grosu

11:30-12:00

David C Sterratt, Oksana Sorokina, J Douglas Armstrong

12:00-12:30

Charalampos Kyriakopoulos, Verena Wolf

12:30-13:00

Alexandre Rocca, Thao Dang, Eric Fanchon

10:45-11:15

Tobias Gawron-Deutsch

11:15-11:45

Mike Dodds, Andreas Haas, Christoph Kirsch

11:45-12:15

Felix P. Hargreaves, Daniel Merkle, Peter Schneider-Kamp

12:15-12:45

Victor Altukhov, Eugene Chemeritskiy, Vladislav Podymov, Vladimir Zakharov

10:45-11:15

T. Lukasiewicz, M.V. Martinez, C. Molinaro, L. Predoiu, G. Simari

11:15-11:45

Ala Djeddai, Hassina Seridi, Tarek Khadir

11:45-12:15

Christoph Beierle, Markus Höhnerbach, Marcus Marto

14:30-15:00

Fabio Papacchini, Renate A. Schmidt

15:00-15:30

Cláudia Nalon, George Bezerra Silva

15:30-16:00

Patrick Koopmann, Renate A. Schmidt

14:30-14:55

C. Angione, E. Bartocci, L. Bortolussi, P. Lio', A. Occhipinti, G. Sanguinetti

14:55-15:20

Anatoly Sorokin, Oksana Sorokina, J. Douglas Armstrong

15:20-16:00

Oded Maler

14:30-15:00

Cezara Dragoi, Josef Widder, Damien Zufferey

15:00-15:30

L. Millet, M. Gradinariu Potop-Butucaru, N. Sznajder, S. Tixeuil

15:30-16:00

Sasha Rubin

14:45-15:15

Romain Brenguier, Guillermo Perez, Ocan Sankur, Jean-Francois Raskin

15:15-15:45

Rüdiger Ehlers, Vasumathi Raman

16:30-17:00

Max Wisniewski, Alexander Steen, Christoph Benzmüller

17:00-17:30

Alexander Bolotov, Vasilyi Shangin, Oleg Grigoriev, Mariusz Urbanski

17:30-18:00

Matthias Horbach, Viorica Sofronie-Stokkermans

16:30-17:00

Joel Rybicki

17:00-17:30

Nicolas Braud-Santoni, Swen Jacobs

17:30-18:00

Swen Jacobs