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

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:30

Pascal Van Hentenryck

11:30-12:00

Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro

12:00-12:30

Roman Bartak, Neng-Fa Zhou

12:30-13:00

Vivek Nigam, Carlos Olarte, Elaine Pimentel

10:45-11:45

Kenneth McMillan

11:45-12:15

Olaf Beyersdorff, Leroy Chew

12:15-12:45

Laura Bozzelli, Cesar Sanchez

10:45-11:15

Benjamin Johnson, Aron Laszka, Jens Grossklags

11:15-11:45

Roberto Vigo, Flemming Nielson, Hanne Riis Nielson

11:45-12:15

P. Adão, C. Bozzato, G.-L. Dei Rossi, R. Focardi, F. Luccio

12:15-12:45

M. Bugliesi, S. Calzavara, R. Focardi, W. Khan, M. Tempesta

10:45-11:30

Arnon Avron

11:30-12:00

Hugo Macedo, Edward Hermann Haeusler

12:00-12:30

Sérgio Marcelino, Carlos Caleiro, João Marcos

12:30-13:00

Hélida Santos, Benjamín Bedregal, Regivan Santiago, João Marcos

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

14:30-14:50

Moritz Sinn, Florian Zuleger, Helmut Veith

14:50-15:10

Ravichandhran Madhavan, Viktor Kuncak

15:10-15:30

D. Larraz, K. Nimkar, A. Oliveras, E. Rodríguez-Carbonell, A. Rubio

15:30-15:50

Matthias Heizmann, Jochen Hoenicke, Andreas Podelski

15:50-16:10

Andrey Kupriyanov, Bernd Finkbeiner

14:30-15:30

Andrey Rybalchenko

15:30-16:00

Alejandro Serrano, Pedro Lopez-Garcia, Manuel V. Hermenegildo

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

14:30-15:30

Alessandro Acquisti

14:30-15:00

Jean-Yves Béziau

15:00-15:30

Sanderson Molick, João Marcos

15:30-16:00

Arnon Avron, Beata Konikowska, Anna Zamansky

15:30-16:00

Jia Liu, Mark Ryan, Liqun Chen

16:30-17:00

Kyle Marple, Gopal Gupta

17:00-17:30

Mario Alviano, Carmine Dodaro, Francesco Ricca

17:30-18:00

Ilias Tachmazidis, Grigoris Antoniou, Wolfgang Faber

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

16:30-17:00

Michael Backes, Praveen Manoharan, Esfandiar Mohammadi

17:00-17:30

J. Hsu, M. Gaboardi, A. Haeberlen, S. Khanna, A. Narayan, B. Pierce, A. Roth

17:30-18:00

G. Barthe, M. Gaboardi, E.J. Gallego Arias, J. Hsu, C. Kunz, P.-Y. Strub

18:00-18:30

Jonathan Mayer

16:30-17:15

Roman Kuznets

16:40-17:00

Johannes Birgmeier, Aaron R. Bradley, Georg Weissenbacher

17:00-17:20

Suho Lee, Karem A. Sakallah

17:20-17:30

Arlen Cox, Bor-Yuh Evan Chang, Sriram Sankaranarayanan

08:45-09:45

Edmund Clarke