| 09:00-09:30 | Joost Vennekens. Negation in the Head of CP-logic Rules |
| 09:30-10:00 | Pedro Cabalar and Jorge Fandiño. An Algebra of Causal Chains |
| 10:00-10:30 | Amelia Harrison, Vladimir Lifschitz and Fangkai Yang. On the Semantics of Gringo |
| 10:30-11:00 | Mario Alviano and Wolfgang Faber. Properties of Answer Set Programming with Convex Generalized Atoms |
| 11:30-12:00 | Michael Bartholomew and Joohyung Lee. A Functional View of Strong Negation |
| 12:00-12:30 | Yuliya Lierler and Miroslaw Truszczynski. Hybrid Abstract Modular Systems and Solvers |
| 12:30-13:00 | Marcello Balduccini and Yuliya Lierler. Hybrid Automated Reasoning Tools: from Black-box to Clear-box Integration |
| 14:30-15:00 | Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Torsten Schaub, Takehide Soh, Naoyuki Tamura, and Matthias Weise. Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming |
| 15:00-15:30 | Martin Gebser, Philipp Obermeier, and Torsten Schaub. A System for Interactive Query-Answering with Answer Set Programming |
| 15:30-16:00 | Stefan Ellmauthaler and Hannes Straß. The DIAMOND System for Argumentation: Preliminary Report |
| 16:30-17:00 | Canan Güniçen, Esra Esrdem, and Hüsnü Yenigün. Generating Shortest Synchronizing Sequences Using ASP |
| 17:00-17:30 | Vinay Chaudhri, Stijn Heymans, Son Cao Tran, and Michael Wessel. Query Answering in Object Oriented Knowledge Bases in Logic Programming: Description and Challenge for ASP |