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):
- (Logical) Algorithms
- 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
- System Descriptions
|Notification of Authors||•||21st July 2011|
|Camera-ready Copy||•||16th August 2011|
|Registration before||•||20th August 2011|
|Workshop||•||8th September 2011|
|Excursion||•||9th September 2011|
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:
- technical papers for describing technically sound, innovative ideas that can advance the state of the art of logic programming.
- application papers, where the emphasis will be on their impact on the application domain.
- system and tool papers, where the emphasis will be on the novelty, practicality, usability and general availability of the systems and tools described.
- 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.
- Slim Abdennadher, German University in Cairo, Egypt
- Henning Christiansen, Roskilde University, Denmark
- François Fages, INRIA Rocquencourt, France
- Thom Frühwirth, Universitaet Ulm, Germany
- Maurizio Gabbrielli, Universita di Bologna, Italy
- Rémy Haemmerlé, Universidad Politecnica de Madrid, Spain
- Eric Monfroy, Université 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
Jon Sneyers Department of Computer Science, K.U.Leuven Leuven, Belgium