[Haskell] Final call for papers: 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