Apologies if you receive multiple copies
Call for Papers
Eighth International Workshop on Constraint Handling Rules
CHR 2011
September 9, 2011
Cairo, Egypt
Co-located with the Second CHR Summer School
http://met.guc.edu.eg/events/chr2011/ws.html
Introduction
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 (http://dtai.cs.kuleuven.be/CHR/) 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 CHR
workshops 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.
The workshop proceedings will be published as a technical report.
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):
- (Logical) Algorithms
- Applications
- Comparisons with Related Approaches
- Constraint Solvers
- Critical Assessment
- Expressivity and Complexity
- Implementations and Optimization
- Language Extensions (Types, Modules, ...)
- Program Analysis
- Program Transformation and Generation
- Programming Environments (Debugging)
- Programming Pearls
- Programming Tools
- Retractable Constraints
- Semantics
- System Descriptions
Important Dates
---
* Paper Registration (Abstract): June 14, 2011
* Paper Submission: June 21, 2011
* Notification of Authors:July 21, 2011
* Final version due: August 16, 2011
* Workshop date: September 9, 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 (http://www.springeronline.com/lncs/).
Submissions can be made via the Easychair submission system,
available at http://www.easychair.org/conferences/?conf=chr2011.
Accepted papers will be published in a technical report.
Organization
Program Committee:
* Slim Abdennadher, German University in Cairo, Egypt
* Henning Christiansen, Roskilde University, Denmark
* Francois Fages, INRIA Rocquencourt, France
* Thom Fruehwirth, Universitaet Ulm, Germany
* Maurizio Gabbrielli, Universita di Bologna, Italy
* Remy Haemmerle, Universidad Politecnica de Madrid, Spain
* Eric Monfroy, Universite de Nantes, France
* Paolo Pilozzi, K.U.Leuven, Belgium
* Jon Sneyers, K.U.Leuven, Belgium (chair)
* Peter J. Stuckey, NICTA Victoria Laboratory, Australia
* Armin Wolf, Fraunhofer FIRST, Germany
