VSL 2014: VIENNA SUMMER OF LOGIC 2014
CSL-LICS ON TUESDAY, JULY 15TH, 2014: TALK VIEW
Days:
previous day
next day
all days

View: with abstractssession overviewside by side with other conferences

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
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
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
16:30-17:30
Patrick Cousot, Radhia Cousot
19:00-20:00 Annual meeting of the EACSL
10:15-10:45 Coffee Break
13:00-14:30 Lunch Break
16:00-16:30 Coffee Break