First International Summer School
on Constraint Handling Rules

Programming and Reasoning with Rules and Constraints

August 30th - September 3rd, 2010
Leuven, Belgium

The aim of the summer school is to familiarize the participants with state-of-the-art high-level declarative programming with rules and constraints as well as providing insights into the analysis of programs based on these concepts. The courses cover a wide range from theory to practice.

The summer school will be based on the advanced high-level rule-based formalism and programming language Constraint Handling Rules (CHR).

The results of the First CHR Programming Contest are available!

Intended Audience

The summer school provides courses at various levels. It is open to anyone interested. It aims at Ph.D. students, but also post-docs, interested researchers and master students as well as interested parties from industry. Besides a working knowledge of English, there are no prerequisites. A basic knowledge of logic and Prolog that is usually covered in undergraduate classes could be helpful.

Lecturers and Courses:

The programming language CHR will be introduced by several lecturers on the first day of the summer school.

A final evaluation for each course is possible through a final exam or project as determined by the instructor. The daily schedule admits laboratory, recitation or working group activities to be organized in addition to lectures.

Lecture abstracts and a schedule can be found under Courses.


Leuven is a lively student town in Belgium with a very high density of pubs offering hundreds of types of local beers. More information about Leuven can be found on the Location page.

The accommodation included in the normal registration fee is withing walking distance of the summer school location. More information about the accommodation and how to get there can be found on the Travel information page.


Call for participation (ASCII text)