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:
- Slim Abdennadher, GUC, Egypt;
- Thom Fruehwirth, University Ulm, Germany;
- Carmen Gervet, GUC, Egypt;
- Jon Sneyers, K.U.Leuven, Belgium;
- Johannes Langbein, University of Ulm;
- Remy Haemmerle, UPM Madrid;
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 uni-ulm.de. 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.