CHR 2013
Tenth International Workshop on Constraint Handling Rules
Berlin, Germany — July 13th, 2013
Introduction
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
- Constraint Solvers
- Critical Assessment
- Expressiveness and Complexity
- Implementations and Optimization
- Language Extensions (Types, Modules,...)
- Mutual inspiration from related areas such as Answer Set Programming, (Term) Rewriting Systems, ...
- Program Analysis
- Program Transformation and Generation
- Programming Environments (Debugging)
- Programming Pearls
- Programming Tools
- Retractable Constraints
- Semantics
- System Descriptions
Important dates
- Paper submission deadline:
May 8th, 2013May 14th, 2013 (EXTENDED) - Notification of acceptance: June 8th, 2013
- Final version due: June 25th, 2013
- Workshop date: July 13th, 2013
Submission Information
The two categories for submissions are:
- full papers for describing technically sound, innovative ideas that can advance the state of the art of CHR
- 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. 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.