(aside image)

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