3rd CHR Summer School 2013

Programming and Reasoning with Rules and Constraints

8th-12th of July, 2013 — Berlin, Germany

Introduction

“Third time's the charm” - After the success of the first and second CHR summer schools, a third one will take place in Berlin, Germany, from 8th till the 12th of July, 2013. The last summer school was a large success having attracted over 50 participants to discuss engaging topics related to Constraint Programming and Constraint Handling Rules.

The aim of the summer school is to introduce rule-based and constraint-based high-level declarative programming, and to provide insights based on these concepts for the analysis of programs. Constraint-based programming languages enjoy elegant theoretical properties, conceptual simplicity, and practical success. The courses offered are comprehensive, covering a wide range of topics of varying difficulty from theory to practice. The tenth CHR workshop is to be held at the end of the summer school to introduce the latest advances in CHR.



Intended Audience

The summer school is intended for researchers from all around the world who wish to learn about CP and CHR. It is aimed at PhD students, post-docs, researchers, Master students, and interested parties from industry. The only prerequisites are a working knowledge of English and basic knowledge of logic and Prolog (typically covered in undergraduate classes).

Lecturers and Courses