2nd CHR Summer School 2011

Programming and Reasoning with Rules and Constraints

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

CHR 2011 — Eighth International Workshop on Constraint Handling Rules

The CHR 2011 Workshop will be held on September 8, 2011 in Cairo (Egypt), at the end of the 2nd CHR summer school.

The Constraint Handling Rules (CHR) language has become a major declarative specification formalism and implementation language for constraint reasoning algorithms and applications. Algorithms are often specified using inference rules, rewrite rules, sequents, proof rules, or logical axioms that can be directly written in CHR. Its clean semantics facilitates program design, analysis, and transformation. See the CHR website for more information.

The aim of the CHR workshop series is to stimulate and promote international research and collaboration on topics related to the Constraint Handling Rules language. The workshop is a lively, friendly forum for presenting and discussing new results, interesting applications, and work in progress. Previous Workshops on Constraint Handling Rules were organized in 2004 in Ulm (Germany), in 2005 in Sitges (Spain) at ICLP, in 2006 in Venice (Italy) at ICALP, in 2007 in Porto (Portgual) at ICLP, in 2008 in Hagenberg (Austria) at RTA, in 2009 in Pasadena (California, US) at ICLP and in 2010 in Edinburgh (Scotland) at ICLP.

Topics of interest

The workshop calls for full papers and short papers describing ongoing work on any aspect of CHR and related approaches. The following topics are relevant (this list is non-exhaustive):

Important Dates
Paper Registration14th June 2011 20th June 2011
Paper Submission21st June 2011 27th June 2011
Notification of Authors21st July 2011
Camera-ready Copy16th August 2011
Registration before20th August 2011
Workshop8th September 2011
Excursion9th September 2011
Submission Information

All papers must describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere.They must be written in English. There are four submission categories:

  1. technical papers for describing technically sound, innovative ideas that can advance the state of the art of logic programming.
  2. application papers, where the emphasis will be on their impact on the application domain.
  3. system and tool papers, where the emphasis will be on the novelty, practicality, usability and general availability of the systems and tools described.
  4. technical communications, aimed at describing recent developments, new projects, and other materials that are not ready for main publication as standard papers.

Technical papers, application papers, and system and tool papers must not exceed 15 pages including bibliography. The limit for technical communications is 10 pages.

The authors are encouraged to submit their papers in Springer LNCS format. General information about the Springer LNCS series and the LNCS authors' instructions are available at the Springer LNCS/LNAI home page.

Submissions can be made via the Easychair submission system, available here.

Accepted papers will be published in a technical report.

Program Committee
Workshop Coordinator

Jon Sneyers
Department of Computer Science, K.U.Leuven
Leuven, Belgium

Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm for more information.