3rd CHR Summer School 2013

Programming and Reasoning with Rules and Constraints

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

Courses

  1. Introduction to CP and Modeling a Constraint Problem (4h), Slim Abdennadher, German University in Cairo
  2. Consistency Techniques and Constraint Reasoning, Carmen Gervet, German University in Cairo, Egypt
  3. Constraint-Based Scheduling (2h), Armin Wolf, Fraunhofer FOKUS, Berlin, Germany
  4. Introduction to CHR (Slides1 Slides2), Thom Fruehwirth, Ulm University, Germany
  5. Implementing Constraint Solvers using CHR (Slides1 Slides2), Slim Abdennadher, German University in Cairo
  6. Analysis of CHR Solvers (2h), Slim Abdennadher, German University in Cairo
  7. Abductive Reasoning and language processing with CHR (2-4h), Henning Christiansen, Roskilde University
  8. Probabilistic CHR: CHRiSM (2h), Jon Sneyers, K.U.Leuven, Belgium
  9. ASV Roboat - an autonomous sailing boat for ocean monitoring and its long-term routing (2h), Roland Stelzer, INNOC, Vienna, Austria and Jon Sneyers, K.U.Leuven, Belgium
  10. Confluence Analysis of CHR Programs (2h), Hariolf Betz, Ulm University, Germany
  11. Optimizing Compilation of CHR (2h), Jon Sneyers, K.U.Leuven, Belgium
  12. Source to Source Transformation for CHR (1h), Nada Sharaf, German University in Cairo, Egypt
  13. Parallel Execution of CHR on a Graphical Processing Unit (1h), Amira Zaki, Ulm University, Germany