Programme




Programme:

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