| 20:00 - ???? | Business Meeting |
| 9:25 - 9:30 | Welcome | |
| 9:30 - 10:30 | Yves Caseau | Invited talk: Automatic Synthesis of Meta-Heuristics for Constraint Based Algorithms (tentative title) |
| 10:30 - 11:00 | Helmut Simonis | News on Producers and Consumers |
| 11:00 - 11:30 | Coffee break | |
| 11:30 - 12:00 | Tim Priesnitz | Entailment of Non-Structural Subtyping Constraints. |
| 12:00 - 12:30 | Katrin Erk | Parallelism Constraints |
| 12:30 - 13:00 | Rafael Caballero-Roldan | A Functional Specification of Declarative Debugging for Logic Programming |
| 13:00 - 14:30 | Lunch | |
| 14:30 - 15:00 | Franz Baader | Deciding the Word Problem in the Union of Equational Theories Sharing Constructors |
| 15:00 - 15:30 | Klaus Schulz | Tree Matching Techniques for Textual Tree Databases |
| 15:30 - 16:00 | Sophie Tison | Homomorphisms and Concurrent Term Rewriting |
| 16:00 - 16:30 | Coffee break | |
| 19:15 - ???? | Banquet |
| 9:30 - 10:30 | Thom Fruehwirth | Invited talk: Analysis of Constraint Handling Rules Programs [Slides] |
| 10:30 - 11:00 | Claude Marché | On Solving Termination Constraints |
| 11:00 - 11:30 | Coffee break | |
| 11:30 - 12:00 | Florent Jacquemard | Mechanizing Induction for Semantic Data Structures |
| 12:00 - 12:30 | Witold Charatonik | On a Problem from Set Constraints, Automata Theory, Model Checking and Program Analysis |
| 12:30 - 13:00 | Hubert Comon | Timed Automata and Constraints |
| 13:00 - 14:30 | Lunch |