First International Summer School
on Constraint Handling Rules
Programming and Reasoning with Rules and Constraints
August 30th - September 3rd, 2010
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 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.
- Slim Abdennadher, GUC, Egypt; Analysis of CHR solvers
- Henning Christiansen, Roskilde University, Denmark; Abduction and language processing with CHR
- Thom Frühwirth, University Ulm, Germany; CHR — a common platform for rule-based approaches
- Jon Sneyers, K.U.Leuven, Belgium; Computability and complexity of CHR
- Peter Van Weert, K.U.Leuven, Belgium; Implementation of CHR systems
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.
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.
- Thom Frühwirth, University of Ulm, Germany
- Jon Sneyers, K.U. Leuven, Belgium
- Peter Van Weert, K.U. Leuven, Belgium