Computational Logic Day 2015

The goal of the Computational Logic Day is to bring together researchers working in all areas of computational logic and closely related topics, including but not limited to automated reasoning, logic-based knowledge representation, constraint programming and optimization, as well as applications. The event forms an end seminar for a 2-year mobility program between Aalto and University of Potsdam (funded by the Academy of Finland and DAAD Germany).

Venue

Place: Aalto University, Computer Science Building, T2

Time: Tuesday, December 8, 2015, 10:00-16:00

Registration: By email to Tomi Janhunen

Program

10:00-10:05 Welcome

10:05-12:00 Session I: Advances in Implementation

10:05-10:35 Progress in clasp Series 3, Torsten Schaub (joint work with M. Gebser, R. Kaminski, B. Kaufmann, and J. Romero)

10:35-11:00 Similarity in Answer Set Programming, Philipp Wanko

11:00-11:20 Answer Set Programming modulo Acyclicity, Jori Bomanson (joint work with M. Gebser, T. Janhunen, B. Kaufmann, and T. Schaub)

11:20-11:40 Declarative Extension of SAT Solvers with New Propagators, Shahab Tasharrofi (joint work with T. Janhunen and E. Ternovska)

11:40-12:00 Writing Declarative Specifications for Clauses, Tomi Janhunen (joint work with M. Gebser, R. Kaminski, T. Schaub, S. Tasharrofi)

12:00-13:00 Lunch Break

13:00-15:00 Session II: Applications

13:00-13:25 Enhanching Answer Set Programming with Constraints — The OrderLib, Max Ostrowski

13:25-13:50 Relational Interfaces and Refinement Calculus for Compositional System Reasoning, Viorel Preoteasa (joint work with S. Tripakis and I. Dragomir)

13:50-14:10 Coffee

14:10-14:30 ASP Solving for Expanding Universes, Martin Gebser (joint work with T. Janhunen, H. Jost, R. Kaminski, T. Schaub)

14:30-14:50 Optimizing Phylogenetic Supertrees using Answer Set Programming, Emilia Oikarinen (joint work with L. Koponen, T. Janhunen, and L. Säilä)

14:50-15:10 Symmetry in SAT/ASP/CSP: Breaking the Right Symmetries, Bart Bogaerts (joint work with J. Devriendt and M. Bruynooghe)

15:10-16:00 Informal Discusssions