11:00-11:30 On the Expressiveness of Spatial Constraint Systems
Michell Guzman
11:30-12:00 Tabled CLP for Reasoning over Stream Data
Joaquin Arias
12:00-12:30 Testing of Concurrent Programs
Miguel Isabel

12:30-14:00 Lunch

14:00-14:30 Controlled Natural Languages for Knowledge Representation and Reasoning
Tiantian Gao
14:30-15:00 The functional perspective on advanced logic programming
Alexander Vandenbroucke
15:00-15:30 Methods for Solving Extremal Problems in Practice
Michael Frank

15:30-16:00 Coffee break

16:00-16:30 Automating Disease Management Using Answer Set Programming
Zhuo Chen
16:30-17:00 Scalable Design Space Exploration via Answer Set Programming
Philipp Wanko