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
- Slim Abdennadher, German University in Cairo, Egypt;
- Hariolf Betz, Ulm University, Germany;
- Henning Christiansen, Roskilde University, Denmark;
- Thom Fruehwirth, Ulm University, Germany;
- Carmen Gervet, German University in Cairo, Egypt;
- Nada Sharaf, German University in Cairo, Egypt;
- Jon Sneyers, K.U.Leuven, Belgium;
- Roland Stelzer, INNOC, Vienna, Austria;
- Armin Wolf, Fraunhofer FOKUS, Berlin, Germany;
- Amira Zaki, Ulm University, Germany;
- Thom Fruehwirth, University Ulm, Germany;
- Slim Abdennadher, GUC, Egypt
A final evaluation the summer school is possible through a final exam. The daily schedule contains practical sessions to be organized in addition to the lectures. Lecture abstracts and a schedule can be found under Courses. The material will be provided at Material at the end of the summer school.
Location
The summer school will take place in Berlin, Germany's largest and capital city. It will be hosted in the new Berlin Campus of the German University in Cairo . The glorious city of Berlin is the central point of a reunited Germany, and the beating heart of its diverse creative and political scenes. It offers an intriguing multi-national culture with traces of a vibrant history. You can explore some of the richest museums in the world, listen to the finest classical music or the latest techno trance, take a city bicycle and follow the course of the old famous wall, take a boat along the river Spree past some of Europe's most modern architecture, pick up the latest fashion trends, attend a premiere with your favorite movie stars, pause for the creamiest “Kaffee und Kuchen” before dining from top-notch cuisines.
Organization
Dates
| Summer School | • | From the 8th to the 12th of July |
|---|---|---|
| Workshop | • | 13th of July |
| Excursion | • | TBA |
| Early registration | • | Before the 30th of April |