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 |