[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] CFP: 10th CHR Workshop in Berlin, July 2013






=========================================================================

                             Call for Papers
       Tenth International Workshop on Constraint Handling Rules
                                CHR 2013

                 http://dtai.cs.kuleuven.be/CHR/CHR2013/
                  Berlin (Germany), July 11-12th, 2013
           (co-located with the 3rd Intl Summer School on CHR)

=========================================================================


Introduction

   The CHR 2013 Workshop will be held on July 11th and 12th, 2013 in Berlin
   (Germany) at the occasion of the 3rd International Summer School on CHR.
   More information on the venue and the co-located summer school can be
   found on the summer school website (http://met.guc.edu.eg/CHR2013/).

   The Constraint Handling Rules (CHR) language has become a major declara-
   tive specification formalism and implementation language for constraint
   reasoning algorithms and applications. Algorithms specified using infe-
   rence rules, rewrite rules, sequents, proof rules, or logical axioms can
   often be directly written in CHR. Its clean semantics facilitates pro-
   gram design, analysis, and transformation. For more information, please
   visit the CHR website (http://dtai.cs.kuleuven.be/CHR/).

   The aim of the CHR workshop series is to stimulate and promote interna-
   tional research and collaboration on topics related to the CHR language.
   The workshop is a lively, friendly forum for presenting and discussing
   new results, interesting applications, and work in progress.
   Previous Workshops on Constraint Handling Rules 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 (Portugal) at ICLP, in 2008 in Hagen-
   berg (Austria) at RTA, in 2009 in Pasadena (California, US) at ICLP, in
   2010 in Edinburgh (Scotland, UK) at ICLP, in 2011 in Cairo (Egypt), at
   the 2nd CHR summer school, and in 2012 in Budapest (Hungary) at ICLP.


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
   - Constraint Solvers
   - Critical Assessment
   - Expressiveness and Complexity
   - Implementations and Optimization
   - Language Extensions (Types, Modules,...)
   - Mutual inspiration from related areas such as
       Answer Set Programming, (Term) Rewriting Systems, ...
   - Program Analysis
   - Program Transformation and Generation
   - Programming Environments (Debugging)
   - Programming Pearls
   - Programming Tools
   - Retractable Constraints
   - Semantics
   - System Descriptions


Important dates

   - Paper submission deadline: May 8th, 2013
   - Notification of acceptance: June 8th, 2013
   - Final version due: June 23rd, 2013
   - Workshop date: July 11th and 12th, 2013


Submission Information

   The two categories for submissions are:

    - full papers for describing technically sound, innovative ideas that
      can advance the state of the art of CHR;

    - short papers, for ongoing work not yet ready for full publication
      and research project overviews.

   All papers must describe original, previously unpublished research, and
   must not simultaneously be submitted for publication elsewhere.
   They must be written in English. Technical papers must not exceed 15
   pages. The limit for short papers is 8 pages, as is the standard page
   limit for application papers, and system and tool papers. However,
   particularly strong contributions in the latter two areas may be
   submitted as technical paper as well.

   All papers must be in the Springer LNCS format. General information
   about the Springer LNCS series and the LNCS authors' instructions are
   available at the Springer LNCS home page
   (http://www.springer.com/computer/lncs?SGWID=0-164-7-72376-0).

   Submissions must be made via the EasyChair submission system, available
   at http://www.easychair.org/conferences/?conf=chr2013


Programme Committee


   - Slim Abdennadher, German University of Cairo, Egypt
   - María Alpuente, UPV, Spain
   - Henning Christiansen, Roskilde University, Denmark (co-chair)
   - Marina De Vos, University of Bath, UK
   - François Fages, INRIA Rocquencourt, France
   - Thom Frühwirth, University of Ulm, Germany
   - Maurizio Gabbrielli, University of Bologna, Italy
   - Marco Gavanelli, University of Ferrara, Italy
   - Rémy Haemmerlé, Technical University of Madrid, Spain
   - Michael Maher, University of New South Wales, Canberra, Australia
   - Thierry Martinez, INRIA Paris-Rocquencourt, France
   - Maria Chiara Meo, Gabriele d'Annunzio University, Italy
   - Eric Monfroy, UTFSM and LINA, Chile/France
   - Tom Schrijvers, Ghent University, Belgium
   - Jon Sneyers, KU Leuven, Belgium (co-chair)
   - Armin Wolf, Fraunhofer FIRST, Germany



Workshop Coordinators

   Contact: chr2013@xxxxxxxxxxxxx

   Henning Christiansen
   Department of Communication, Business and Information Technologies,
   Roskilde University, Denmark
   http://www.ruc.dk/~henning/

   Jon Sneyers
   Department of Computer Science, KU Leuven
   Leuven, Belgium
   http://people.cs.kuleuven.be/~jon.sneyers/


Steering committee:

   Thom Frühwirth
   Programmiermethodik und Compilerbau, Ulm University
   Ulm, Germany
   http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/

   Slim Abdennadher
   Department of Computer Science & Engineering, German University in Cairo
   Cairo, Egypt
   http://met.guc.edu.eg/staff/slim_abdennadher.aspx