• Main Page
• Programme
• Registration (FLoC)
• Local Information

Introduction

The CHR 2010 Workshop will be held July 20, 2010 in Edinburgh (Scotland) at the occasion of ICLP 2010 (part of FLoC 2010), the premier international venue for presenting research in logic programming.

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, and in 2009 in Pasadena (California, US) at ICLP.

Topics of Interest

The workshop calls for contributions on all aspects of CHR, including topics such as:

• (Operational) semantics
• Program analysis (confluence, termination, ...)
• Comparisons with related approaches
• Expressivity and complexity
• Language extensions (negation, modules, ...)
• Constraint solvers
• Implementation and optimization
• Concurrency & parallelism
• Program transformation and generation
• Programming environments (debugging, confluence checking, ...)
• Programming pearls

Application papers, that describe experience with (industrial) applications, are especially welcome.

Important dates

• Abstract submission deadline: March 29, 2010
• Paper submission deadline: April 5, 2010
• Notification of acceptance: May 1, 2010
• Final version due: May 18, 2010
• Workshop date: July 20, 2010

Submission Information

The four broad categories for submissions are:

1. technical papers for describing technically sound, innovative ideas that can advance the state of the art of CHR
2. application papers, where the emphasis will be on the use of CHR in the application, on the impact on the application domain, and the lessons learned from this application
3. system and tool papers, empasising the novelty, practicality, usability and general availability of the systems and tools described
4. short papers, for ongoing work not yet ready for full publication and research project overviews.

All papers must describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. They must be written in English. Technical papers must not exceed 15 pages. The page limit for short papers is 7 pages, as is the limit for application papers, and system and tool papers. However, particularly strong contributions in the latter two areas may be submitted as technical paper as well.

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, available at http://www.easychair.org/conferences/?conf=chr10

Programme Committee

• Sebastian Brand, National ICT Australia and the University of Melbourne, Victoria, Australia
• Henning Christiansen, Roskilde University, Denmark
• Verónica Dahl, Simon Fraser University, Canada
• Leslie De Koninck, Victoria Research Laboratory, NICTA, Australia (co-chair)
• Thom Frühwirth, Ulm University, Germany
• Marco Gavanelli, University of Ferrara, Italy
• Rémy Haemmerlé, Universidad Politécnica de Madrid, Spain
• Maria-Chiara Meo, "Gabriele d'Annunzio" University, Italy
• Paolo Pilozzi, K.U.Leuven, Belgium
• Frank Raiser, Ulm University, Germany
• Peter Van Weert, K.U.Leuven, Belgium (co-chair)
• Jairson Vitorino, Federal University of Pernambuco, Brazil
• Armin Wolf, Fraunhofer FIRST, Germany

Workshop Coordinators

Contact: chr2010@easychair.org