Thursday, July 15th

Thursday's program is also available with abstracts and side by side with other events.

09:00‑10:00 Session 1
Chair: Neng-Fa Zhou
Location: IF 4.31+4.33
09:00 Naoyuki Tamura (Kobe University, Japan)
Solving Constraint Satisfaction Problems by a SAT Solver
10:30‑12:30 Session 2
Location: IF 4.31+4.33
10:30 Peter Biener, François Degrave and Wim Vanhoof
A Test Automation Framework for Mercury
11:00 Petra Hofstedt
Realizing evaluation strategies by hierarchical graph rewriting
11:30 Nicos Angelopoulos and Paul Taylor
An extensible web interface for databases and its application to storing biochemical data
12:00 Paulo Moura
Meta-Predicate Semantics
14:00‑15:00 Session 3
Chair: German Vidal
Location: IF 4.31+4.33
14:00 Michael Codish (Ben-Gurion University of the Negev, Israel)
Programming with Boolean Satisfaction
15:30‑18:00 Session 4
Location: IF 4.31+4.33
15:30 Jan Wielemaker and Vítor Santos Costa
Portability of Prolog programs: theory and case-studies
16:00 Dimitar Shterionov, Angelika Kimmig, Theofrastos Mantadelis and Gerda Janssens
DNF Sampling for ProbLog Inference
16:30 Vasco Pedro and Salvador Abreu
Distributed Work Stealing for Constraint Solving
17:00 Paulo André and Salvador Abreu
Casting the WAM as an EAM
17:30 Gopal Gupta, Neda Saeedloei (University of Texas at Dallas)
Logic Programming Foundations of Cyber-Physical Systems