[Haskell] Deadline extension: CHR 2011

Jon Sneyers Jon.Sneyers at cs.kuleuven.be
Wed Jun 15 17:05:24 CEST 2011

Apologies if you receive multiple copies

The paper abstract registration and submission deadlines have been 
extended from June 14th/21st to June 20th/27th!

                             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



     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 20, 2011 (NEW)
       * Paper Submission:               June 27, 2011 (NEW)
       * 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.


     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

More information about the Haskell mailing list