CHR 2013

Tenth International Workshop on Constraint Handling Rules
Berlin, Germany — July 13th, 2013

Introduction

The CHR 2013 Workshop will be held on July 13th, 2013 in Berlin (Germany) at the occasion of the Third International Summer School on CHR.

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 (Portugal) at ICLP, in 2008 in Hagenberg (Austria) at RTA, in 2009 in Pasadena (California, US) at ICLP, in 2010 in Edinburgh (Scotland, UK) at ICLP, in 2011 in Cairo (Egypt), at the 2nd CHR summer school, and in 2012 in Budapest (Hungary) 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

Submission Information

The two categories for submissions are:

All papers must describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. They must be written in English. Full papers must not exceed 14 pages. The limit for short papers is 8 pages.

All papers must be in the Springer LNCS format. General information about the Springer LNCS series and the LNCS authors' instructions are available at the Springer LNCS home page.

Submissions must be made via the EasyChair submission system.

Proceedings

The workshop proceedings will be made available as a technical report. Individual PDF versions of all accepted papers will be available on the program page and from the CHR bibliography.

Programme Committee

Workshop Coordinators

Contact: chr2013@easychair.org

Henning Christiansen
Department of Communication, Business and Information Technologies, Roskilde University
Roskilde, Denmark
http://www.ruc.dk/~henning/
Jon Sneyers
Department of Computer Science, KU Leuven
Leuven, Belgium
http://people.cs.kuleuven.be/~jon.sneyers/

Steering committee:

Thom Frühwirth
Programmiermethodik und Compilerbau, Ulm University
Ulm, Germany
www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/
Slim Abdennadher
Department of Computer Science & Engineering, German University in Cairo
Cairo, Egypt
http://met.guc.edu.eg/staff/slim_abdennadher.aspx