ABOUT FLOC
HOME About FLoC Sponsors Mailing list Contact
PARTICIPATION
Registration Accommodation Student travel support US-based Student travel support Visa information Cancellation Policy Local information Reimbursement forms (new!)
MEETINGS
CAV CSF ICLP IJCAR ITP LICS RTA SAT Workshops (alpha.) Workshops (by conf.) Affiliated Events
PROGRAM
FLoC at a glance Meeting by meeting Day by day Room assignment Invited talks Accepted papers Social events FLoC Brochure (PDF)
!! LAST MINUTE NEWS !! !! ROOM CHANGES !!
ORGANIZATION
Steering Committee Programme Committee Organising Committee
MISCELLANEOUS
Call for Workshops

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:00‑10:30 Coffee break
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
12:30‑14:00 Lunch
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:00‑15:30 Coffee break
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