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:00-09:25
Yuanlin Zhang, Zhizheng Zhang
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
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
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
10:45-11:15
Serenella Cerrito, Amélie David, Valentin Goranko
11:15-11:45
Jean-Baptiste Jeannin, André Platzer
11:45-12:15
Bjoern Lellmann
12:45-13:05
Rajeev Gore, Jimmy Thomson, Kerry Olesen
11:15-11:45
Moses Liskov, Francisco Javier Thayer
11:45-12:15
David Basin, Cas Cremers, Marko Horvat
10:45-11:00
M. Gavanelli, M. Milano, S. Bragaglia, F. Chesani, E. Marengo, P. Cagnoli
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
11:00-11:15
Miguel Areias, Ricardo Rocha
11:15-11:30
Nataliia Stulova, Jose F. Morales, Manuel V. Hermenegildo
11:30-11:45
John P. Gallagher, Bishoksan Kafle
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
11:35-12:00
Daniela Miao, K. Krasnow Waterman
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-13:00
Aisan Maghsoodi, Paul De Bra, Anca Bucur
12:45-12:50
Wouter Beek, Stefan Schlobach, Frank van Harmelen
12:50-12:55
Viachaslau Sazonau, Uli Sattler, Gavin Brown
12:45-12:50
Richard Booth, Edmond Awad, Iyad Rahwan
12:50-12:55
Sjur Kristoffer Dyrkolbotn
12:55-13:00
Irene-Anna Diakidoy, Antonis Kakas, Loizos Michael, Rob Miller
14:30-15:00
Alessio Lomuscio, Jakub Michaliszyn
15:00-15:30
Julian Gutierrez, Paul Harrenstein, Michael Wooldridge
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
15:50-16:00
Alejandro Sanchez, Cesar Sanchez
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:00-15:20
Rüdiger Ehlers, Martin Lange
15:20-15:40
Aaron Stump, Geoff Sutcliffe, Cesare Tinelli
14:30-15:00
Aleksandar Zeljić, Christoph M. Wintersteiger, Philipp Ruemmer
15:00-15:20
Rüdiger Ehlers, Martin Lange
15:20-15:40
Aaron Stump, Geoff Sutcliffe, Cesare Tinelli
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
15:30-15:45
Dongwen Wang, Xuan Hung Le, Amneris Luque
15:45-16:00
Francis Real, David Riaño, Jose-Ramon Alonso
16:00-16:30
Fabio Papacchini, Renate A. Schmidt
16:30-16:50
Daniel Gorin, Dirk Pattinson, Lutz Schröder, Thorsten Wißmann, Florian Widmann
17:00-17:30
Peng Zhang, Jochen Renz
17:00-17:30
Doga Kisa, Guy Van den Broeck, Arthur Choi, Adnan Darwiche
16:30-16:55
David Riaño, Agusti Solanas
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
19:00-20:00
Friedrich Stadler