CFP: Winter School on Constraint Programming and Constraint Handling Rules

[Thom Fruehwirth]

Call For Participation

Winter School on Constraint Programming and Constraint Handling Rules

http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/constraint-rule-programming-winter-2011.html

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

After the success of the spring course in Venice and two summer
schools
on Constraint Programming and Constraint Handling Rules in Leuven and
Cairo (fully booked with 50 participants), we offer a free winter
school this time.

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 Cairo
Carmen Gervet, GUC Cairo
Jon Sneyers, K.U. Leuven
Thom Fruehwirth, University of Ulm
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 - APPLY NOW!

The course is offered free of charge. Please email your application
with
your academic details and interests 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. Ulm can be reached by train from several nearby
international airports. Once accepted, students will receive
information about the location and time of the course, public
transport and accommodation hints. For details, follow the link above.

-----------------------------------------------------------------------

[ comp.ai is moderated ... your article may take a while to appear. ]