VSL 2014: VIENNA SUMMER OF LOGIC 2014
PROGRAM FOR TUESDAY, JULY 15TH, 2014: TALK VIEW
Days:
previous day
next day
all days

View: with abstractssession overview

9:00
9:30
10:00
10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
17:30
18:00
18:30
19:00
19:30
20:00
20:30
21:00
21:30
22:00
22:30
23:00
09:00-09:45
Kazushige Terui
10:45-11:15
Tomas Brazdil, Stefan Kiefer, Antonin Kucera, Petr Novotný, Joost-Pieter Katoen
11:45-12:15
Wei Chen, Martin Hofmann
12:15-12:45
Thomas Place, Marc Zeitoun
10:45-11:15
Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot
11:45-12:15
Véronique Bruyère, Noémie Meunier, Jean-Francois Raskin
12:15-12:45
Stephane Le Roux, Arno Pauly
10:45-11:15
Evmorfia-Iro Bartzia, Pierre-Yves Strub
11:15-11:45
Kento Emoto, Frédéric Loulergue, Julien Tesson
12:15-12:45
Jasmin Christian Blanchette, Andrei Popescu, Dmitriy Traytel
11:15-11:45
Hans Zantema, Barbara Koenig, Sander Bruggink
11:45-12:15
Carsten Fuhs, Cynthia Kop
12:45-13:00
Akihisa Yamada, Keiichirou Kusakari, Toshiki Sakabe
11:30-12:00
Dietmar Berwanger, Marie van den Bogaard
12:00-12:30
Emmanuel Genot, Justine Jacot
10:45-11:15
Mladen Miksa, Jakob Nordström
11:15-11:45
Gabriel Istrate, Adrian Crăciun
12:00-13:00
Matthias Aschenbrenner
11:50-12:20
Alexander Nadel, Ofer Strichman, Vadim Ryvchin
12:20-12:40
Tomohiro Sonobe, Shuya Kondoh, Mary Inaba
12:40-13:00
Laurent Simon, Gilles Audemard
14:30-15:00
A. Blumensath, T. Colcombet, D. Kuperberg, P. Parys, M. Vanden Boom
15:00-15:30
Benedikt Bollig, Paul Gastin, Benjamin Monmege, Marc Zeitoun
14:30-15:00
Christoph Dittmann, Stephan Kreutzer, Mikolaj Bojanczyk
15:00-15:30
Ian Pratt-Hartmann
15:30-16:00
Eric Koskinen, Tachio Terauchi
14:30-15:00
Guyslain Naves, Arnaud Spiwack
15:15-15:45
Johannes Marti, Riccardo Pinosio
14:30-15:15
Rohit Parikh
14:30-15:15
Johanna Franklin
14:30-15:15
Diego A. Mejía
15:15-16:00
Konstantin Slutsky
14:30-16:00
B. Cook, A. Leitsch, P. Panangaden, N. Schweikardt, H. Veith, R. Zach
15:30-16:00
Oliver Kullmann, Olaf Beyersdorff
16:30-17:30
Patrick Cousot, Radhia Cousot
16:30-17:00
Daniel Matichuk, Makarius Wenzel, Toby Murray
17:30-18:00
Martin Ring, Christoph Lüth
17:00-17:30
Cody Roux, Floris van Doorn
17:30-18:00
Andreas Abel, Brigitte Pientka, Anton Setzer, David Thibodeau
16:30-17:00
Valeriy Balabanov, Magdalena Widl, Jie-Hong Roland Jiang
17:10-17:30
Sheila Veloso, Paulo Veloso, Mario Benevides
17:50-18:10
Tuan-Fang Fan, Churn-Jung Liau
18:10-18:30
Willem Conradie, Claudette Robinson
17:30-17:50
José M. Méndez, Gemma Robles, Francisco Salto
17:10-17:30
Andrey Frolov, Maxim Zubkov
17:50-18:10
Michael McInerney
16:50-17:10
David Belanger, Richard Shore
17:30-17:50
Matthew Harrison-Trainor
18:10-18:30
Pavel Semukhin, Ekaterina Fokina, Daniel Turetsky
16:50-17:10
Andres Cordon-Franco And F. Felix Lara-Martin
17:30-17:50
Daniel Tamas Soukup
16:30-16:50
Robert Lubarsky, Norman Lewis Perlmutter
17:10-17:30
Konstantinos Beros
17:30-17:50
Sheila Miller, Natasha Dobrinen
17:30-17:50
Hajnal Andréka, István Németi
18:10-18:30
Alex Simpson
16:50-17:10
Hartry Field, Harvey Lederman
17:50-18:10
Jan Dobrowolski
17:00-18:00 SAT Association General Assembly
18:00-19:00 SIGLOG Meeting
19:00-20:00 Annual meeting of the EACSL
19:00-23:00 RTA/TLCA conference dinner
10:15-10:45 Coffee Break
13:00-14:30 Lunch Break
16:00-16:30 Coffee Break