VSL 2014: VIENNA SUMMER OF LOGIC 2014
PROGRAM FOR THURSDAY, JULY 24TH, 2014: TALK VIEW
Days:
previous 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
08:45-09:45
David Harel
09:45-10:15
Alvis Brazma, Karlis Cerans, Dace Ruklisa, Thomas Schlitt, Juris Viksna
09:00-10:15
Georg Gottlob, Thomas Lukasiewicz, Andreas Pieris
09:00-10:15
Gabriele Kern-Isberner
11:15-11:45
Angelos Charalambidis, Panos Rondogiannis
12:15-12:45
Amelia Harrison, Vladimir Lifschitz, Fangkai Yang
10:45-11:15
Alexander Bochman
11:45-12:15
Adam Bjorndahl, Joseph Halpern, Rafael Pass
12:15-12:45
Egor Ianovski, Luke Ong
10:45-11:15
Ayrat Khalimov, Swen Jacobs, Roderick Bloem
11:15-11:45
Susmit Jha, Sanjit A. Seshia
11:15-11:45
Claudia Schon, Ulrich Furbach, Frieder Stolzenburg
11:30-12:00
David C Sterratt, Oksana Sorokina, J Douglas Armstrong
12:00-12:30
Charalampos Kyriakopoulos, Verena Wolf
11:15-11:45
Mike Dodds, Andreas Haas, Christoph Kirsch
11:45-12:15
Felix P. Hargreaves, Daniel Merkle, Peter Schneider-Kamp
12:15-12:45
Victor Altukhov, Eugene Chemeritskiy, Vladislav Podymov, Vladimir Zakharov
10:45-11:15
T. Lukasiewicz, M.V. Martinez, C. Molinaro, L. Predoiu, G. Simari
11:15-11:45
Ala Djeddai, Hassina Seridi, Tarek Khadir
12:50-13:50 KR Open Discussion and Closing
15:00-15:30
Cláudia Nalon, George Bezerra Silva
14:30-14:55
C. Angione, E. Bartocci, L. Bortolussi, P. Lio', A. Occhipinti, G. Sanguinetti
14:55-15:20
Anatoly Sorokin, Oksana Sorokina, J. Douglas Armstrong
14:30-15:00
Cezara Dragoi, Josef Widder, Damien Zufferey
15:00-15:30
L. Millet, M. Gradinariu Potop-Butucaru, N. Sznajder, S. Tixeuil
14:30-16:00 Demo session & closing
14:45-15:15
Romain Brenguier, Guillermo Perez, Ocan Sankur, Jean-Francois Raskin
15:15-15:45
Rüdiger Ehlers, Vasumathi Raman
16:30-17:00
Max Wisniewski, Alexander Steen, Christoph Benzmüller
17:00-17:30
Alexander Bolotov, Vasilyi Shangin, Oleg Grigoriev, Mariusz Urbanski
17:30-18:00
Matthias Horbach, Viorica Sofronie-Stokkermans
17:00-17:30
Nicolas Braud-Santoni, Swen Jacobs
17:30-18:00
Swen Jacobs
10:15-10:45 Coffee Break
13:00-14:30 Lunch Break
16:00-16:30 Coffee Break