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

LC
IJCAR
SAT
CAV
LG
FLoC
ICLP
VSL
CSF
ITP
CSL-LICS
RTA-TLCA
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
08:45-09:45
Orna Kupfermann
08:45-09:45
Orna Kupfermann
08:45-09:45
Orna Kupfermann
08:45-09:45
Orna Kupfermann
08:45-09:45
Orna Kupfermann
08:45-09:45
Orna Kupfermann
08:45-09:45
Orna Kupfermann
08:45-09:45
Orna Kupfermann
08:45-09:45
Orna Kupfermann
08:45-09:45
Orna Kupfermann
09:00-09:45
Kazushige Terui
09:45-10:15
Sujata Ghosh, Aviad Heifetz
09:15-10:15
Mariya I. Soskova
10:45-11:15
Tomas Brazdil, Stefan Kiefer, Antonin Kucera, Petr Novotný, Joost-Pieter Katoen
11:15-11:45
Matthew Hague
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:15-11:45
Luca Padovani
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
11:45-12:15
Peter Lammich
12:15-12:45
Jasmin Christian Blanchette, Andrei Popescu, Dmitriy Traytel
12:45-13:00
Rob Arthan
10:45-11:15
Stefano Berardi, Silvia Steila
11:15-11:45
Hans Zantema, Barbara Koenig, Sander Bruggink
11:45-12:15
Carsten Fuhs, Cynthia Kop
12:15-12:45
Christian Sternagel, René Thiemann
12:45-13:00
Akihisa Yamada, Keiichirou Kusakari, Toshiki Sakabe
10:45-11:30
Gabriel Sandu
11:30-12:00
Dietmar Berwanger, Marie van den Bogaard
12:00-12:30
Emmanuel Genot, Justine Jacot
12:30-13:00
Rasmus K. Rendsvig
10:45-11:15
Mladen Miksa, Jakob Nordström
11:15-11:45
Gabriel Istrate, Adrian Crăciun
11:00-12:00
Krzysztof Apt
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
15:30-16:00
Georg Gottlob, Enrico Malizia
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:00-16:00
Rod Chapman, Florian Schanda
14:30-15:30
Nicola Gambino
15:30-16:00
Martin Hofmann, Georg Moser
14:30-15:15
Ondrej Majer
15:15-15:45
Johannes Marti, Riccardo Pinosio
15:45-16:15
Martin Sticht
14:30-15:30
Jakob Nordström
14:30-15:15
Rohit Parikh
15:15-16:00
Gabriel Sandu
14:30-15:15
Johanna Franklin
15:15-16:00
Bakhadyr Khoussainov
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:00-17:30
Makarius Wenzel
17:30-18:00
Martin Ring, Christoph Lüth
16:30-17:00
Peng Fu, Aaron Stump
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
Jon Yaggie, Gyorgy Turan
17:00-17:30
Can Baskent
16:30-17:00
Valeriy Balabanov, Magdalena Widl, Jie-Hong Roland Jiang
16:30-16:50
Attila Molnar, Gergely Szekely
16:50-17:10
Sergi Oms
17:10-17:30
Sheila Veloso, Paulo Veloso, Mario Benevides
17:30-17:50
Mitko Yanchev
17:50-18:10
Tuan-Fang Fan, Churn-Jung Liau
18:10-18:30
Willem Conradie, Claudette Robinson
16:30-16:50
Piotr Wojtylak, Wojciech Dzik
16:50-17:10
Vladimir Stepanov
17:10-17:30
Gemma Robles
17:30-17:50
José M. Méndez, Gemma Robles, Francisco Salto
16:30-16:50
Valentin Goranko
16:50-17:10
Makoto Tatsuta, Wei-Ngan Chin
17:10-17:30
Olivier Finkel
17:30-17:50
Ján Pich
17:50-18:10
Michal Garlik
18:10-18:30
Thomas Studer
16:30-16:50
Nikolay Bazhenov
16:50-17:10
Pavel Alaev
17:10-17:30
Andrey Frolov, Maxim Zubkov
17:30-17:50
Achilles Beros
17:50-18:10
Michael McInerney
18:10-18:30
Rutger Kuyper
16:30-16:50
Ravil Bikmukhametov
16:50-17:10
David Belanger, Richard Shore
17:10-17:30
Paul Shafer
17:30-17:50
Matthew Harrison-Trainor
17:50-18:10
Andrey Frolov
18:10-18:30
Pavel Semukhin, Ekaterina Fokina, Daniel Turetsky
16:30-16:50
Laurentiu Leustean
16:50-17:10
Andres Cordon-Franco And F. Felix Lara-Martin
17:10-17:30
Alberto Marcone
17:30-17:50
Saeed Salehi
17:50-18:10
Tin Lok Wong
18:10-18:30
Alexey Vladimirov
16:30-16:50
Luca San Mauro
16:50-17:10
Kojiro Higuchi
17:10-17:30
Sergey Ospichev
17:30-17:50
Daniel Tamas Soukup
17:50-18:10
Wojciech Stadnicki
18:10-18:30
Miha Habič
16:30-16:50
Robert Lubarsky, Norman Lewis Perlmutter
16:50-17:10
Natasha Dobrinen
17:10-17:30
Konstantinos Beros
17:30-17:50
Sheila Miller, Natasha Dobrinen
17:50-18:10
Hsing-Chien Tsai
16:30-16:50
Nadav Meir
16:50-17:10
Roger Villemaire
17:10-17:30
Alexandre Ivanov
17:30-17:50
Hajnal Andréka, István Németi
17:50-18:10
Jose Martinez-Fernandez
18:10-18:30
Alex Simpson
16:30-16:50
Hao Cheng Fu
16:50-17:10
Hartry Field, Harvey Lederman
17:10-17:30
Antonio Vincenzi
17:30-17:50
Grzegorz Jagiella
17:50-18:10
Jan Dobrowolski
18:10-18:30
Jui-Lin Lee
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
19:00-20:00
Karl Sigmund