[mercury-users] CHR 2006: 2nd Call for Papers

Tom Schrijvers Tom.Schrijvers at cs.kuleuven.ac.be
Fri Apr 7 18:32:34 AEST 2006


----------------------------------------
Apologies if you receive multiple copies
________________________________________


                        Second 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)
     ------------------------------------------------------------

               http://www.cs.kuleuven.be/~toms/CHR2006/

   Introduction
   ------------

   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
   information.

   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


   Awards
   ------
   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


   Organization
   ------------

   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
   K.U.Leuven
   http://www.cs.kuleuven.be/~toms/


   Thom Fruehwirth
   Fakultaet fuer Informatik
   Universitaet Ulm
   http://www.informatik.uni-ulm.de/pm/fileadmin/pm/home/fruehwirth/


More information about the users mailing list