VSL 2014: VIENNA SUMMER OF LOGIC 2014
CHR Home Page

11th International Workshop on Constraint Handling Rules — July 18, 2014
Workshop affiliated with ICLP and RTA.

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 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, in 2011 in Cairo (Egypt), at the 2nd CHR summer school, in 2012 in Budapest (Hungary) at ICLP. and in 2013 in Berlin (Germany), at the 3rd 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
  • 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: March 31, 2014 April 14 2014
  • Notification of acceptance: April 28, 2014 May 12 2014
  • Final version due: May 19, 2014 May 23, 2014
  • Workshop date: July 18, 2014

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 are avaible online.

Invited Speaker

Marc Bezem (Bergen University)

Program Committee

Contact

For any additional information about papers and submissions please send mail to chr2014@easychair.org.