PROGRAM FOR THURSDAY, AUGUST 4TH: 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
20:30
21:00
21:30
22:00
09:00-10:30
Mate Soos, Priyanka Golia, Sourav Chakraborty, Kuldeep S. Meel
09:00-10:30
Amel Hidouri, Said Jabbour, Badran Raddaoui
09:00-10:30
Mohamed Sami Cherif, Djamal Habet, Matthieu Py
09:00-10:30
Anupam Das, Abhishek De, Alexis Saurin
09:00-10:30
Matteo Acclavio, Ross Horne, Sjouke Mauw, Lutz Straßburger
09:00-10:00 Invited talk by Manuel Hermenegildo: 50th anniversary of the birth of Prolog: Some reflections on Prolog's Evolution, Status, and Future
09:00-10:30
Wolfgang Dvořák, Matthias König, Markus Ulbricht, Stefan Woltran
09:00-10:30
Victor Hugo Nascimento Rocha, Fabio Cozman
09:00-10:30
Tuomo Lehtonen, Johannes P. Wallner, Matti Järvisalo
09:00-10:30
Takeshi Tsukada, Kazuyuki Asada
09:00-10:30
David Baelde, Amina Doumane, Denis Kuperberg, Alexis Saurin
09:00-10:30
Ilario Bonacina, Maria Luisa Bonet
09:00-10:30
Beniamino Accattoli
10:00-10:30
Zhe Wang, Peng Xiao, Kewen Wang, Zhiqiang Zhuang, Hai Wan
10:00-10:30
Rocio Gomez, Heather Riley, Mohan Sridharan
11:00-12:30
Rebecca Gentzel, Laurent Michel, Willem-Jan Van Hoeve
11:00-12:30
Helene Fargier, Jérôme Mengin, Nicolas Schmidt
11:00-12:30
Mohit Kumar, Samuel Kolb, Tias Guns
11:00-12:30
Christopher Coulombe, Claude-Guy Quimper
11:00-12:30
N. Beldiceanu, J. Cheukam-Ngouonou, R. Douence, R. Gindullin, C.-G. Quimper
11:00-12:30
Frédéric Blanqui
11:00-12:30
Georg Gottlob, Matthias Lanzinger, Stefano Sferrazza
11:00-12:30
Joachim Niehren, Rustam Azimov, Sylvain Salvati
11:00-12:30
Huaduo Wang, Gopal Gupta
11:00-12:30
Jan Dreier, Jakub Gajarský, Sandra Kiefer, Michał Pilipczuk, Szymon Toruńczyk
11:00-12:30
Bonnet, Dreier, Gajarský, Kreutzer, Mählmann, Simon, Toruńczyk
11:00-12:30
Clemens Kupke, Johannes Marti, Yde Venema
11:00-12:30
Clemens Grabmayer
11:00-12:30
N. Ackerman, J. Asilis, J. Di, C. Freer, J.-B. Tristan
11:00-12:30
Iván Garzón, Pablo Mesejo, Jesús Giráldez-Cru
11:00-12:30
Mikolas Janota, Jelle Piepenbrock, Bartosz Piotrowski
12:00-12:30
Tim Lyon, Lucía Gómez Álvarez
12:00-12:30
Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Vardi
14:00-15:30
Nguyen Dang, Ozgur Akgun, Joan Espasa, Ian Miguel, Peter Nightingale
14:00-15:30
Martin Cooper, Arnaud Lequen, Frédéric Maris
14:00-15:30
Joan Espasa Arxer, Ian Miguel, Mateu Villaret
14:00-15:30
Jie Wang, Dingding Chen, Ziyu Chen, Xiangshuang Liu, Junsong Gao
14:00-14:30 Best DC Paper (Alice Tarzariol): A Model-Oriented Approach for Lifting Symmetries in Answer Set Programming
14:00-15:30
L. Lamanna, L. Serafini, A. Saetti, A.E. Gerevini, P. Traverso
14:00-15:30
Federico Sabbatini, Roberta Calegari
14:00-15:30
Umberto Straccia, Giovanni Casini
14:00-15:30
Nicolas Schwind, Sébastien Konieczny, Ramon Pino Perez
14:00-15:30
Thomas Place
14:00-15:30
Corentin Barloy, Michaël Cadilhac, Charles Paperman, Thomas Zeume
14:00-15:30
Erich Grädel, Hayyan Helal, Matthias Naaf, Richard Wilke
14:00-15:30
Dmitry Chistikov, Christoph Haase, Alessio Mansutti
14:00-15:30
Valentin Blot
14:00-15:30
Pavel Smirnov, Jeremias Berg, Matti Järvisalo
14:00-15:30
Stephan Gocht, Ruben Martins, Jakob Nordström, Andy Oertel
14:30-15:00 10-Year Test-of-Time Award (Torsten Schaub, Max Ostrowski): From "ASP modulo CSP" to "ASP modulo X", or how clingcon paved the way for clingo[X] systems
15:00-15:30
Clément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller
15:00-15:30
Francesco Chiariello, Fabrizio Maria Maggi, Fabio Patrizi
17:00-17:30 Piano concert
17:00-18:00 Business meeting
17:10-18:10 General Assembly of the ALP
08:30-09:00 Coffee & Refreshments
08:30-09:00 Coffee & Refreshments
08:30-09:00 Coffee & Refreshments
08:30-09:00 Coffee & Refreshments
08:30-09:00 Coffee & Refreshments
08:30-09:00 Coffee & Refreshments
08:30-09:00 Coffee & Refreshments
08:30-09:00 Coffee & Refreshments
08:30-09:00 Coffee & Refreshments
10:30-11:00 Coffee Break
10:30-11:00 Coffee Break
10:30-11:00 Coffee Break
10:30-11:00 Coffee Break
10:30-11:00 Coffee Break
10:30-11:00 Coffee Break
10:30-11:00 Coffee Break
10:30-11:00 Coffee Break
10:30-11:00 Coffee Break
12:30-14:00 Lunch Break
12:30-14:00 Lunch Break
12:30-14:00 Lunch Break
12:30-14:00 Lunch Break
12:30-14:00 Lunch Break
12:30-14:00 Lunch Break
12:30-14:00 Lunch Break
12:30-14:00 Lunch Break
12:30-14:00 Lunch Break
15:30-16:00 Coffee Break
15:30-16:00 Coffee Break
15:30-16:00 Coffee Break
15:30-16:00 Coffee Break
15:30-16:00 Coffee Break
15:30-16:00 Coffee Break
15:30-16:00 Coffee Break
15:30-16:00 Coffee Break
15:30-16:00 Coffee Break
19:30-22:00 FLoC Banquet (at Bikta Bayar - Beit Oren) - Paid event
19:30-22:00 FLoC Banquet (at Bikta Bayar - Beit Oren) - Paid event
19:30-22:00 FLoC Banquet (at Bikta Bayar - Beit Oren) - Paid event
19:30-22:00 FLoC Banquet (at Bikta Bayar - Beit Oren) - Paid event
19:30-22:00 FLoC Banquet (at Bikta Bayar - Beit Oren) - Paid event
19:30-22:00 FLoC Banquet (at Bikta Bayar - Beit Oren) - Paid event
19:30-22:00 FLoC Banquet (at Bikta Bayar - Beit Oren) - Paid event
19:30-22:00 FLoC Banquet (at Bikta Bayar - Beit Oren) - Paid event
19:30-22:00 FLoC Banquet (at Bikta Bayar - Beit Oren) - Paid event