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

View: with abstractssession overview

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
08:45-09:00 Opening
09:25-09:50
V. Zamborlini, M. Da Silveira, C. Pruski, A. Ten Teije, F. Van Harmelen
09:50-10:15
Szymon Wilk, Martin Michalowski, Xing Tan, Wojtek Michalowski
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
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
10:45-11:00
Ana Sofia Gomes, Jose Julio Alferes
11:00-11:15
Mário Abrantes, Luís Moniz Pereira
11:15-11:30
Yi Bi, Jia-Huai You, Zhiyong Feng
11:30-11:45
Martin Slota, Martin Balaz, Joao Leite
11:45-12:00
Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche
12:15-12:30
Rehan Abdul Aziz, Geoffrey Chu, Peter J. Stuckey
12:30-12:45
Marcello Balduccini, William Regli, Duc Nguyen
12:15-12:45
Cláudia Nalon, João Marcos, Clare Dixon
12:45-13:05
Rajeev Gore, Jimmy Thomson, Kerry Olesen
10:45-11:15
Daniel Dougherty, Joshua Guttman
11:15-11:45
Moses Liskov, Francisco Javier Thayer
11:45-12:15
David Basin, Cas Cremers, Marko Horvat
12:15-12:45
Sebastian A. Mödersheim, Georgios Katsoris
10:45-11:00
M. Gavanelli, M. Milano, S. Bragaglia, F. Chesani, E. Marengo, P. Cagnoli
11:15-11:30
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub
11:30-11:45
Tiep Le, Enrico Pontelli, Tran Cao Son, William Yeoh
11:45-12:00
Jónathan Heras, Ekaterina Komendantskaya, Martin Schmidt
12:00-12:15
Arun Nampally, C. R. Ramakrishnan
10:45-11:00
Ari Saptawijaya, Luís Moniz Pereira
11:15-11:30
Nataliia Stulova, Jose F. Morales, Manuel V. Hermenegildo
11:45-12:00
George Souza Oliveira, Anderson Faustino Da Silva
12:00-12:15
Sergio Castro, Kim Mens, Paulo Moura
10:45-11:10
Matteo Spiotta, Alessio Bottrighi, Laura Giordano, Daniele Theseider Dupre'
11:10-11:35
Zhisheng Huang, Annette Ten Teije, Frank Van Harmelen, Salah Ait-Mokhtar
12:00-12:15
Paolo Terenziani, Alessio Bottrighi, Irene Lovotti, Stefania Rubrichi
12:15-12:30
Mar Marcos, Joaquín Torres-Sospedra, Begoña Martínez-Salvador
12:30-12:45
Begoña Martínez-Salvador, Mar Marcos, Anderson Sánchez
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
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
Tom Schrijvers
15:00-15:30
Luciano Caroprese, Mirek Truszczynski, Ester Zumpano, Irina Trubitsyna
15:30-16:00
Luís Moniz Pereira, Emmanuelle-Anna Dietz, Steffen Hölldobler
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
14:30-15:00
Willard Rafnsson, Andrei Sabelfeld
15:00-15:30
Mathy Vanhoef, Willem De Groef, Dominique Devriese, Frank Piessens, Tamara Rezk
15:30-16:00
M. Alvim, K. Chatzikokolakis, A. McIver, C. Morgan, C. Palamidessi, G. Smith
16:30-16:50
Daniel Gorin, Dirk Pattinson, Lutz Schröder, Thorsten Wißmann, Florian Widmann
16:30-17:00
Shahab Tasharrofi, Eugenia Ternovska
17:00-17:30
Doga Kisa, Guy Van den Broeck, Arthur Choi, Adnan Darwiche
16:55-17:10
Beyan, Breathnach, Collins, Debruyne, Decker, Grant, Grant, Gurrin
17:10-17:25
Thomas Vetterlein, Anna Zamansky
16:50-17:20 In memoriam: Bernhard Gramlich
17:20-18:00 CADE / FROCOS / TABLEAUX / IJCAR Business Meetings
17:30-18:30 5' Talks
17:40-18:00 Wrap-Up, Conclusion, and Next Steps
19:00-20:00 Public Meeting of the Association for Logic Programming
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