Program of CHR

Tuesday, July 20th

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

09:00‑10:00 Invited Talk
Location: AT 2.11
09:00 Mark Proctor (JBoss)
Drools Business Logic integration Platform Tutorial
10:30‑12:30 Session 1 (highlights: CHR Tutorial & Invited Talk)
Location: AT 2.11
10:30 Thom Frühwirth (University of Ulm)
Constraint Handling Rules Tutorial
11:15 Johannes Langbein, Frank Raiser and Thom Fruehwirth
A State Equivalence and Confluence Checker for CHR
11:40 Peter Van Weert
Join Ordering for Constraint Handling Rules: Putting Theory into Practice
12:05 Matt Lilley (SecuritEase)
SWI Forms - Bringing logic to UI development
14:00‑15:00 Session 2
Location: AT 2.11
14:00 Henning Christiansen, Christian Theil Have, Ole Torp Lassen and Matthieu Petit
The Viterbi Algorithm expressed in Constraint Handling Rules
14:25 Jon Sneyers (K.U.Leuven)
CHRiSM Introduction
14:40 Jon Sneyers
Result-directed CHR Execution
15:30‑17:00 Session 3 (Applications and Demos)
Location: AT 2.11
15:30 Ralf Gerlich
Generic and Extensible Automatic Test Data Generation for Safety Critical Software with CHR
15:55 Florian Geiselhart, Frank Raiser, Jon Sneyers and Thom Fruehwirth
MTSeq - multi-touch-enabled music generation and manipulation based on CHR
16:20 Ayman Adel Abdelsamie Abdelaal, Frank Raiser, Thom Frühwirth, and Roland Stelzer
Long-term routing for autonomous sail boats with CHR
16:45 Peter Van Weert
Conclusions