Ninth International Workshop on Constraint Handling Rules
Budapest, Hungary — September 4th, 2012
The CHR 2012 Workshop will be held on September 4th, 2012 in Budapest (Hungary) at the occasion of ICLP 2012, 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 (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, and in 2011 in Cairo (Egypt), at the 2nd CHR summer school.
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
- Expressiveness 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
- Paper submission deadline:
July 2nd, 2012July 15th, 2012
- Notification of acceptance:
August 1st, 2012 August 8th, 2012August 1st, 2012
- Final version due:
August 17, 2012 August 24th, 2012August 17th, 2012
- Workshop date: September 4th, 2012
The four broad categories for submissions are:
- technical papers for describing technically sound, innovative ideas that can advance the state of the art of CHR
- 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
- system and tool papers, emphasising the novelty, practicality, usability and general availability of the systems and tools described
- 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 limit for short papers is 8 pages, as is the standard page 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.
An extension to CHR is proposed, which allows different processes to reason over and maintain a common knowledge base represented as text files containing constraints. Constraints are automatically read from and written to the files before and after a query has been executed, which means that the intended style of programming deviates only very little from traditional CHR programming.
The full workshop's program is available here.
- Henning Christiansen, Roskilde University, Denmark
- Verónica Dahl, Simon Fraser University, Canada
- François Fages, INRIA Paris-Rocquencourt, France
- Thom Frühwirth, Ulm University, Germany (co-chair)
- Maurizio Gabbrielli, Universita' di Bologna, Italy
- Rémy Haemmerlé, Universidad Politécnica de Madrid, Spain
- Thierry Martinez, INRIA Paris-Rocquencourt, France
- Eric Monfroy, Université de Nantes, France
- Tom Schrijvers, University of Ghent, Belgium
- Jon Sneyers, K.U.Leuven, Belgium (co-chair)
- Armin Wolf, Fraunhofer FIRST, Germany
Department of Computer Science, K.U.Leuven
Programmiermethodik und Compilerbau, Ulm University