[Haskell] CFP: 8th CHR Workshop

[Jon Sneyers]

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


   Workshop Coordinator:

     * Jon Sneyers, K.U.Leuven (Belgium)

Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm