[Elsnet-list] Call for Papers: Constraint Handling Rules 2006

event at in.tu-clausthal.de event at in.tu-clausthal.de
Thu Jan 26 11:22:45 CET 2006

Apologies if you receive multiple copies

                         Call for Papers

             Third Workshop on Constraint Handling Rules
                                 CHR 2006

                             July 9, 2006
                       S. Servolo, Venice, Italy

            Co-located with the International Colloquium on
            Automata, Languages and Programming (ICALP 2006)



    The Constraint Handling Rules (CHR) language has become a
    major declarative specification 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://www.cs.kuleuven.be/~dtai/projects/CHR/) for more

    Previous Workshops on Constraint Handling Rules were organized in
    May 2004 in Ulm (Germany) and in October 2005 in Sitges (Spain).

    Topics of Interest

    The workshop calls for full papers and short papers describing
    ongoing work, on all aspects of CHR, including topics such as:

     - (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
     - Retractable Constraints
     - Semantics

    The best paper receives the CHR Best Paper Award. It is chosen
    among all submissions for its outstanding quality in both
    presentation and scientific contribution and for its impact on
    the field of CHR.

    Submission Information

    All papers must be written in English and not exceed 15 pages
    in Springer LNCS format. The authors are encouraged, although
    not obliged, to submit their papers already 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.

    Submissions should be sent to chrworkshop at gmail.com and mention
    'CHR 2006 Submission' in the subject. Every submission should
    include the names and e-mail addresses of the authors (with the
    corresponding author indicated), the paper abstract in ASCII format
    and the actual paper in postscript or PDF format. The submission
    should also indicate whether it is a full paper or a short paper.

    Accepted papers will be published in a technical report.

    Important dates

      * submission: 			May 7, 2006
      * notification of acceptance: 	June 9, 2006
      * final version due: 		June 23, 2006
      * workshop date: 			July 9, 2006


    Program Committee:

        * Alessandra Raffaeta, Universita Ca' Foscari di Venezia
        * François Fages, INRIA Rocquencourt
        * Gregory Duck, NICTA Victoria Laboratory
        * Henning Christiansen, Roskilde University
        * Jacques Robin, Universidade Federal de Pernambuco
        * Martin Sulzmann, National University of Singapore
        * Maurizio Gabbrielli, Universita di Bologna
        * Thom Fruehwirth, Universitaet Ulm
        * Tom Schrijvers, Katholieke Universiteit Leuven

    Workshop Coordinators:

    chrworkshop at gmail.com

    Tom Schrijvers (contact person)
    Department of Computer Science

    Thom Fruehwirth
    Fakultaet fuer Informatik
    Universitaet Ulm

This e-mail was delivered to you by event at in.tu-clausthal.de, what is a
moderated list ran by Computational Intelligence Group of Clausthal University of Technology, Germany. 
All event announcements sent through this list are also listed in our
conference planner at http://cig.in.tu-clausthal.de/index.php?id=planner.
In the case of any requests, questions, or comments, do not hesitate and 
contact event-owner at in.tu-clausthal.de ASAP. 
* CIG does not take any responsibility for validity  * 
* of content of messages sent through this list.     * 

Computational Intelligence Group
Department of Computer Science
Clausthal University of Technology

More information about the Elsnet-list mailing list