2nd CHR Summer School 2011

Programming and Reasoning with Rules and Constraints

5th to 9th of September, 2011 — Cairo, Egypt

Courses

  1. Introduction to CP (2h), Slim Abdennadher, German University in Cairo
  2. Consistency Techniques and Constraint Reasoning (2h), Carmen Gervet, German University in Cairo
  3. Introduction to CHR (2h), Jon Sneyers, K.U.Leuven, Belgium
  4. Implementing Constraint Solvers using CHR (2h), Slim Abdennadher, German University in Cairo and Thom Fruehwirth, University Ulm
  5. CHR - a common platform for rule-based approaches (2h), Thom Fruehwirth, University Ulm
  6. Analysis of CHR Solvers (2h), Slim Abdennadher, German University in Cairo
  7. Equivalence in CHR - A Tool-Oriented Approach (2h), Frank Raiser, Konzept Informationssysteme GmbH, Germany
  8. Probabilistic CHR and an Application in Music (2h), Jon Sneyers, K.U.Leuven, Belgium
  9. CHR Workshop Proceedings.