Winter School on CP and CHR

Winter School on Constraint Programming and Constraint Handling Rules

November 14-17, 2011, University of Ulm, Germany
In collaboration with the German University in Cairo

Constraint Programming (CP) makes it possible to model and specify problems with uncertain, incomplete information and to solve combinatorial problems, as they are abundant in industry and commerce, such as scheduling, planning, transportation, resource allocation, layout, design, and analysis. Constraint Handling Rules (CHR) is both a versatile theoretical formalism based on logic and an efficient practical high-level programming language based on declarative rules and constraints. Well-understood analysis techniques are available for the language. CHR applications will be presented as well.

Lecturers include:

This Master level course is planned for 25 lecture and lab hours. The course is also open for Bachelor and PhD students. Basic knowledge of logic and Prolog will be helpful. Certificate of participation and grading is possible on request. The course is based on the books “Essentials of Constraint Programming”, Abdennadher and Fruehwirth, Springer, and “Constraint Handling Rules”, Fruehwirth, Cambridge University Press.

How to participate

The course is offered free of charge. Please email your application with your academic details to Thom.Fruehwirth at Places are limited and will be offered on a first-come first-served basis. Application deadline is October 30, 2011. Accomodation is on your own. Once accepted, students will receive information about the location and time of the course, public transport and accommodation hints.

Further Info