08:45-09:45

Elaine Pimentel

09:45-10:15

Simona Ronchi Della Rocca, Antonio Bucciarelli, Delia Kesner

08:45-10:15

Tobias Nipkow

08:45-09:15

Jeremy Avigad, Johannes Hölzl, Luke Serafin

09:15-09:45

Lorenz Panny, Jasmin Christian Blanchette, Dmitriy Traytel

09:45-10:15

Lars Noschinski, Christoph Traut

08:45-09:30

Marijn Heule

09:30-10:15

Mikolas Janota

08:45-09:00

Organisers

09:00-09:30

Umair Siddique, Sofiene Tahar

09:30-10:00

Magnus O. Myreen

08:45-09:15

Takahito Aoto, Sorin Stratulat

09:15-10:00

Aart Middeldorp, Mauricio Ayala Rincón, Alfons Geser

09:00-09:15

Manfred Schmidt-Schauß

09:15-10:15

Andrew Gill

09:00-09:05

Organizers

09:05-09:50

Anna Zamansky

09:50-10:15

Ori Lahav, Yoni Zohar

09:00-09:15

Temur Kutsia, Christophe Ringeissen

09:15-10:15

Jose Meseguer

09:00-09:30

Ruben Gamboa, John Cowles

09:30-10:00

John Cowles, Ruben Gamboa

09:00-09:15

Kousha Etessami

09:15-10:15

Eric Allender

09:00-10:00

Alan Jeffrey

09:00-09:15

Nikolay Shilov

09:15-10:15

Nikolay Nepejvoda

09:00-10:00

Alexandre Miquel

10:00-10:20

Koji Nakazawa

09:15-10:15

Ian Mackie

09:15-10:15

Ian Mackie

09:15-09:45

Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Cédric Piette

09:45-10:15

Marijn Heule, Norbert Manthey, Tobias Philipp

09:15-09:45

James Aisenberg, Maria Bonet, Sam Buss

09:45-10:15

Anupam Das

09:15-10:15

Jerome Feret

09:15-10:15

Nick Benton

09:25-10:15

Beniamino Accattoli

10:45-11:45

Phokion Kolaitis

11:45-12:45

Nicole Schweikardt

10:45-11:15

Kaustuv Chaudhuri

11:15-11:45

Zachary Sparks, Amr Sabry

11:45-12:15

Jennifer Paykin, Steve Zdancewic

12:15-12:45

Taus Brock-Nannestad, Nicolas Guenot

10:45-11:15

William Mansky, Elsa Gunter

11:15-11:45

Masanori Nagashima, Tomofumi Kato, Masahiko Sakai, Naoki Nishida

11:45-12:00

Break

12:00-12:30

David Sabel

12:30-13:00

Guillaume Madelaine, Cedric Lhoussaine, Joachim Niehren

10:45-12:45

Tobias Nipkow

10:45-10:55

Andrei Popescu, Peter Lammich

10:55-11:20

Peter Lammich

11:20-11:45

Ondřej Kunčar, Andrei Popescu

11:45-12:15

Florian Haftmann, Andreas Lochbihler, Wolfgang Schreiner

12:15-12:45

Makarius Wenzel

10:45-11:15

Sergio Antoy, Jacob Johannsen, Steven Libby

11:15-11:45

Naohi Eguchi

11:45-12:15

Clemens Grabmayer, Vincent van Oostrom

10:45-11:10

Björn Lellmann

11:10-11:35

Paolo Maffezioli, David Gilbert

11:35-12:00

Daniyar Shamkanov

12:00-12:25

Thomas Studer

12:25-12:50

G. Greco, S. Frittella, A. Kurz, A. Palmigiano, V. Sikimić

10:45-11:15

Uwe Egly

11:15-11:45

Friedrich Slivovsky, Stefan Szeider

11:45-12:15

Valeriy Balabanov, Jie-Hong Roland Jiang, Mikoláš Janota, Magdalena Widl

12:15-12:45

Christoph Scholl

10:45-11:15

Magnus O. Myreen

11:15-12:45

Everyone

10:45-11:15

Julian Nagele, René Thiemann

11:15-11:45

Michio Oyamaguchi, Nao Hirokawa

10:45-11:15

Peter Hibbs, Paliath Narendran, Shweta Mehto

11:15-11:45

Franz Baader, Barbara Morawska

11:45-12:15

Philippe Balbiani, Tinko Tinchev

12:15-12:35

S. Erbatur, D. Kapur, A.M. Marshall, C. Meadows, P. Narendran, C. Ringeissen

12:35-12:55

S. Erbatur, D. Kapur, A.M. Marshall, P. Narendran, C. Ringeissen

10:45-11:15

Laurent Simon

11:15-11:45

Zoltan Mann, Pal Papp

11:45-12:15

Norbert Manthey, Enrique Alfonso

12:15-12:45

Zoltan Mann

10:45-11:45

Albert Atserias

10:45-11:30

Gilles Dowek, Ying Jiang

11:30-12:00

Maria Paola Bonacina, David Plaisted

12:00-12:30

Claude Kirchner

12:30-13:00

Claude Kirchner

10:45-11:30

Anne Siegel

11:30-12:15

Cedric Lhoussaine

12:15-12:55

Elisabetta de Maria, Joelle Despeyroux, Amy Felty

10:45-11:15

David Russinoff, John O'Leary

11:15-11:45

David Hardin, Jennifer Davis, David Greve, Jedidiah McClurg

11:45-12:15

Benjamin Selfridge

12:15-12:45

Disha Puri, Sandip Ray, Kecheng Hao, Fei Xie

10:45-11:15

Benedikt Ahrens, Régis Spadotti

11:15-11:45

Richard Dapoigny, Patrick Barlatier

11:45-12:15

Cezar Ionescu, Patrik Jansson

12:15-12:45

Hsiang-Shang Ko, Jeremy Gibbons

10:45-11:15

Wolfram Kahl

11:15-11:45

Ian Mackie, Shinya Sato

10:45-11:15

Hubert Godfroy, Jean-Yves Marion

11:15-11:45

Sergey Goncharov, Lutz Schröder, Christoph Rauch

11:45-12:15

Paul-André Melliès

12:15-12:45

Koko Muroya, Toshiki Kataoka, Ichiro Hasuo, Naohiko Hoshino

10:50-11:10

Kentaro Kikuchi, Takafumi Sakurai

11:10-11:30

Harley Eades Iii, Aaron Stump, Ryan McCleeary

11:30-12:00

Emmanuel Beffara

12:00-12:30

Herman Geuvers, Wouter Geraedts, Bram Geron, Judith van Stegeren

12:30-13:00

José Espírito Santo, Ralph Matthes, Koji Nakazawa, Luís Pinto

11:00-11:20

Jean-Rémi Bourguet, Luca Pulina

11:20-11:40

Thomas Eiter, Patrik Schneider, Mantas Simkus, Guohui Xiao

11:40-12:00

Diego Calvanese, Davide Lanti, Martin Rezk, Mindaugas Slusnys, Guohui Xiao

12:00-12:20

Alexander Kropotin

12:20-12:40

Michel Ludwig

12:40-13:00

Carlos Bobed, Fernando Bobillo, Roberto Yus, Guillermo Esteban, Eduardo Mena

11:00-11:30

Heather Logas, Florent Kirchner, John Murray, Martin Schäf, Jim Whitehead

11:30-12:00

Nikolay Shilov

12:00-12:30

Lawrence et.al

12:30-13:00

Tomer Kotek

12:00-12:30

Lars Hellström

12:30-13:00

Naoki Nishida, Makishi Yanagisawa, Karl Gmeiner

12:00-12:30

Ilario Bonacina, Nicola Galesi, Neil Thapen

12:30-13:00

Yuval Filmus, Massimo Lauria, Mladen Miksa, Jakob Nordström, Marc Vinyals

12:00-13:00

Michele Pagani

14:00-15:00

Anuj Dawar

15:00-16:00

Mooly Sagiv

14:30-15:30

Ian Mackie

15:30-16:00

Edward Gan, Jesse A. Tov, Greg Morrisett

14:30-15:00

Naoki Nishida, Makishi Yanagisawa, Karl Gmeiner

15:00-15:30

Manfred Schmidt-Schauss, David Sabel

15:30-16:00

Yuki Chiba

14:30-15:00

Lawrence Paulson

15:00-15:30

Makarius Wenzel

15:30-16:00

Andreas Lochbihler, Marc Züst

14:30-15:30

Samuel Mimram

14:30-15:30

Samuel Mimram

14:30-15:15

Alex Simpson

15:15-15:40

Sonia Marin, Lutz Straßburger

15:40-16:05

Alexandre Rademaker, Hermann Haeusler

14:30-15:00

Paolo Marin, Christian Miller, Bernd Becker

15:00-15:30

Robert Koenighofer

15:30-16:00

Martin Kronegger, Andreas Pfandler, Florian Lonsing, Uwe Egly

14:30-15:00

Anthony Fox

15:00-15:30

Ramana Kumar

15:30-16:00

Everyone

14:30-14:50

C. Maria Keet, Claudia D'Amato, Zubeida Khan, Agnieszka Lawrynowicz

14:50-15:10

José Antonio Minarro-Giménez, Matthias Samwald

15:10-15:30

Robert Stevens, Nicolas Matentzoglu, Uli Sattler

14:30-15:30

Jordi Levy

15:30-16:00

Leonardo Manuel Cabrer, George Mectalfe

14:30-15:30

Armin Biere

14:30-15:30

Iddo Tzameret

14:30-15:15

Nao Hirokawa, Aart Middeldorp, Georg Moser

15:15-16:00

Florent Jacquemard, Jean Bresson, Pierre Donat-Bouillud

14:30-15:15

Alessandra Carbone

15:15-16:00

Thomas Henzinger

14:30-15:30

Magnus Myreen

14:30-15:00

João Paulo Pizani Flor, Wouter Swierstra

15:00-15:30

Edward Amsden, Ryan Newton, Jeremy Siek

15:30-16:00

Hannes Mehnert, David Raymond Christiansen

14:30-15:00

Sidi Mohamed Beillahi, Umair Siddique, Sofiene Tahar

15:00-15:30

Pratima K. Shah

14:30-15:00

Nachum Dershowitz, Evgenia Falkovich

15:00-15:30

Stefano Facchini, Simon Perdrix

15:30-16:00

Edward Hermann Haeusler

14:30-15:00

Michele Basaldella

15:00-15:20

Dominic Hughes

15:20-15:40

David Cerna, Alexander Leitsch

15:40-16:00

Matthieu Perrinel

15:00-16:00

Rafal Kolanski

15:30-16:00

Yves Guiraud, Eric Hoffbeck, Philippe Malbos

15:30-16:00

Norbert Manthey, Peter Steinke, Steffen Hölldobler, Tobias Philipp

15:30-16:00

Dmitry Itsykson, Dmitry Sokolov

15:30-16:00

Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora De Falco

16:30-17:30

Benjamin Rossman

17:30-17:45

Neil Immerman

16:30-17:00

Michele Basaldella

17:00-17:30

Ugo Dal Lago, Margherita Zorzi

17:30-18:00

Marco Solieri

18:00-18:30

Giulio Guerrieri, Lorenzo Tortora De Falco

16:30-17:00

Karl Gmeiner, Naoki Nishida

17:00-17:30

Georg Moser, Michael Schaper

17:30-17:45

Manfred Schmidt-Schauß

16:30-17:00

Blasum et.al

17:00-17:20

Christine Rizkallah

17:20-17:40

Lars Noschinski

17:40-18:00

Tobias Nipkow

16:30-17:00

Ian Mackie, Shinya Sato

17:00-17:30

Susumu Yamasaki

16:30-16:55

Tomasz Kowalski

16:55-17:20

Paolo Baldi

17:20-17:45

Rob Arthan, Paulo Oliva

17:45-18:10

Dominic Hughes

16:30-17:00

Adrià Gascón

17:00-18:00

Martina Seidl, Charles Jordan

16:30-17:00

Everyone

17:00-18:30

Everyone

16:30-17:00

Nao Hirokawa, Aart Middeldorp, Christian Sternagel

17:00-17:30

Masahiko Sakai, Michio Oyamaguchi, Mizuhito Ogawa

17:30-18:15

Takahito Aoto, Nao Hirokawa, Harald Zankl

16:30-16:50

M. Ruta, F. Scioscia, G. Loseto, F. Gramegna, S. Ieva, E. Di Sciascio

16:50-17:10

Dmitry Tsarkov

16:30-17:00

Maria Paola Bonacina, David Plaisted

17:00-17:30

Tatyana Novikova, Vladimir Zakharov

17:30-18:00

Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret

16:30-17:00

Andreas Fröhlich, Gergely Kovásznai, Armin Biere, Helmut Veith

17:00-17:30

Mirko Stojadinovic, Filip Maric

17:30-18:00

T. Soh, D. Le Berre, S. Roussel, M. Banbara, N. Tamura

16:30-17:00

Albert Atserias, Massimo Lauria, Jakob Nordström

17:00-17:30

Neil Thapen, Arnold Beckmann, Pavel Pudlák

16:30-17:00

Georg Moser

17:00-17:30

Nachum Dershowitz, Hans Zantema

17:30-18:00

Jürgen Giesl

16:30-17:30

Adelinde Uhrmacher

16:30-17:00

Ahmad Salim Al-Sibahi

17:00-17:30

Alvaro Tasistro

17:30-18:00

Nicola Botta, Cezar Ionescu, Patrik Jansson, Edwin Brady

16:30-17:00

Alessandra Di Pierro, Margherita Zorzi

17:00-17:30

Marco Gaboardi, Justin Hsu

17:30-18:00

Gabriel Istrate, Cosmin Bonchis, Mircea Marin

16:30-17:00

William Mansky, Elsa Gunter

17:00-17:30

Ulrich Schöpp

16:30-17:00

Bassel Mannaa, Thierry Coquand

17:00-17:20

Federico Aschieri, Margherita Zorzi

17:20-17:40

Arno Pauly, Martin Ziegler

17:40-18:00

Tadeusz Litak

18:00-18:30

Andrea Vezzosi, Andreas Abel

18:30-19:00

Beta Ziliani, Matthieu Sozeau