Call For Participation

University Logo

Spring Course on Rule-based Programming

May 18-22, 2009 at Universita' Ca' Foscari Venezia

Prof. Dr. Thom Frühwirth, University of Ulm, Germany
Venice
This photograph is by Oliver-Bonjoch and the file is licensed under the Creative Commons Attribution ShareAlike 3.0 License.

This compact one week course in English provides an overview of rule-based programming and formalisms in computer science. We will embed these rule-based systems into the Constraint Handling Rules (CHR) language. This gives us the possibility to compare and analyse the different approaches and to get to know the advanced concurrent constraint-based CHR formalism.
Constraint Handling Rules Logo
  1. Constraint Handling Rules
    • Syntax and Semantics
    • Properties and Analysis
  2. Classical Rule-Based Systems
    • Production Rule Systems
    • Event-Condition-Action Rules
  3. Rewriting and Graph Formalisms
    • Term Rewriting Systems and Graph Transformation Systems
    • Chemical Abstract Machine and Multiset Transformation
    • Petri Nets
  4. Constraint and Logic Programming
    • Deductive Databases and Logical Algorithms
    • Prolog and Constraint Logic Programming
    • Concurrent Constraint Programming

Course Material

The course is based on the book Constraint Handling Rules, Thom Fruehwirth, Cambridge University Press, ISBN 9780521877763, 2009.

CHR Executive Summary (2 pages) "The story so far"
CHR Tutorial Slides
K.U. Leuven CHR survey
All you ever wanted to know about CHR (CHR website)

Sample exercises: Ex01, Ex02, Ex03; Exercises.

How to participate

The course is offered free of charge. Please email your application with your academic details to
Frank.Raiser at uni-ulm.de
Application deadline is April 2, 2009.

This PhD-level course consists of 20 lecture hours, given as two 2-hour lectures from Monday to Friday. Grading is possible on request. The course is also open for Post-docs and interested Master students. Course material will be provided. Accommodation is on your own.

Once accepted, students will receive information about the location and time of the course, public transport and accommodation hints.

Thom Frühwirth, June 9, 2009.