VSL 2014: VIENNA SUMMER OF LOGIC 2014
CAV ON MONDAY, JULY 21ST, 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:05
Rodica Bozianu, Catalin Dima, Emmanuel Filiot
11:05-11:25
Tomas Brazdil, David Klaska, Antonin Kucera, Petr Novotný
11:25-11:45
Krishnendu Chatterjee, Martin Chmelík, Przemyslaw Daca
11:45-12:05
Thomas Dillig, Isil Dillig, Swarat Chaudhuri
12:05-12:25
Jade Alglave, Daniel Kroening, Vincent Nimal, Daniel Poetzl
12:25-12:35
Petr Čermák, Alessio Lomuscio, Fabio Mogavero, Aniello Murano
12:35-12:45
Nina Narodytska, Alexander Legg, Fahiem Bacchus, Leonid Ryzhyk, Adam Walker
12:45-12:55
Chih-Hong Cheng, Chung-Hao Huang, Harald Ruess, Stefan Stattelmann
12:55-13:05
Roderick Bloem, Ruediger Ehlers, Swen Jacobs
14:30-14:50
Mohsen Lesani, Todd Millstein, Jens Palsberg
14:50-15:10
P. Cerny, T. Henzinger, A. Radhakrishna, L. Ryzhyk, T. Tarrach
15:10-15:30
O. Inverso, E. Tomasco, B. Fischer, S. La Torre, G. Parlato
15:30-15:50
J. Esparza, R. Ledesma-Garza, R. Majumdar, P. Meyer, F. Niksic
14:30-15:00
Aleksandar Zeljić, Christoph M. Wintersteiger, Philipp Ruemmer
15:20-15:40
Aaron Stump, Geoff Sutcliffe, Cesare Tinelli
15:40-16:00
Bruno Woltzenlogel Paleo, Joseph Boudou, Andreas Fellner
14:30-15:00
Aleksandar Zeljić, Christoph M. Wintersteiger, Philipp Ruemmer
15:20-15:40
Aaron Stump, Geoff Sutcliffe, Cesare Tinelli
15:40-16:00
Bruno Woltzenlogel Paleo, Joseph Boudou, Andreas Fellner
10:15-10:45 Coffee Break
13:00-14:30 Lunch Break
16:00-16:30 Coffee Break
16:30-18:00
Floc Olympic Games
18:00-18:10
Werner Depauli-Schimanovich
18:10-18:20
Mingyi Zhang
18:20-18:30
European Masters Program In Computational Logic
18:30-18:45
Helmut Veith