Call For Participation

Compact Spring Course on Rule-based Programming

http://www.informatik.uni-ulm.de/pm/...ng-course.html

Venice, May 18-22, 2009 at Universita' Ca' Foscari Venezia
Prof. Dr. Thom Frühwirth, University of Ulm, Germany

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
Syntax and Semantics
Properties and Analysis
Classical Rule-Based Systems
Production Rule Systems
Event-Condition-Action Rules
Rewriting and Graph Formalisms
Term Rewriting Systems and Graph Transformation Systems
Chemical Abstract Machine and Multiset Transformation
Petri Nets
Constraint and Logic Programming
Deductive Databases and Logical Algorithms
Prolog and Constraint Logic Programming
Concurrent Constraint Programming

The course is based on the upcoming book "Constraint Handling Rules" by
Thom Frühwirth, Cambridge University Press, 2009.

HOW TO PARTICIPATE - APPLY NOW

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.