VSL 2014: VIENNA SUMMER OF LOGIC 2014
KR ON MONDAY, JULY 21ST, 2014: TALK VIEW
Days:
previous day
next day
all days

View: with abstractssession overviewside by side with other conferences

8:30
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
08:30-08:40 KR Opening
10:45-11:15
Georg Gottlob, Marco Manna, Andreas Pieris
11:15-11:45
Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
11:45-12:15
E. Botoeva, R. Kontchakov, V. Ryzhikov, F. Wolter, M. Zakharyaschev
12:15-12:45
Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan
10:45-11:15
Paul E. Dunne, Wolfgang Dvořák, Thomas Linsbichler, Stefan Woltran
11:15-11:45
Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis
11:45-12:15
Federico Cerutti, Massimiliano Giacomin, Mauro Vallati, Marina Zanella
12:15-12:45
Sylvie Doutre, Andreas Herzig, Laurent Perrussel
12:45-12:50
Wouter Beek, Stefan Schlobach, Frank van Harmelen
12:50-12:55
Viachaslau Sazonau, Uli Sattler, Gavin Brown
12:55-13:00
Felix Distel, Jamal Atif, Isabelle Bloch
12:45-12:50
Richard Booth, Edmond Awad, Iyad Rahwan
12:55-13:00
Irene-Anna Diakidoy, Antonis Kakas, Loizos Michael, Rob Miller
15:00-15:30
Julian Gutierrez, Paul Harrenstein, Michael Wooldridge
15:30-16:00
Xiaowei Huang, Ron Van Der Meyden
14:30-15:00
Pavlos Peppas, Mary-Anne Williams
15:00-15:30
Patricia Everaere, Sébastien Konieczny, Pierre Marquis
15:30-16:00
Claus-Peter Wirth, Frieder Stolzenburg
16:30-17:00
Shahab Tasharrofi, Eugenia Ternovska
17:00-17:30
Doga Kisa, Guy Van den Broeck, Arthur Choi, Adnan Darwiche
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