[Yap-users] CHR 2014: Extended Deadline

[Remy H. <re...@cl...>]

       CALL FOR PAPERS
      EXTENDED DEADLINE	



     Eleventh International Workshop on Constraint Handling Rules
                                CHR 2014
                http://vsl2014.at/pages/CHR-index.html
                                  Vienna (Austria), July 18th, 2014
                      (co-located with VSL 2014)
                  (affiliated to ICLP 2014 & RTA 2014)


Important dates

   Submission   : *April 14, 2014*
   Notification : *May 12, 2014*
   Camera-ready : *May 23, 2014*
   Workshop     : July 18th, 2014


Aims and Scope

  The CHR 2014 Workshop will be held on July 18th, 2014 in Vienna,
  Austria, at the occasion of the Vienna Summer of Logic 2014 (VSL)
  that will be the largest event in the history of logic. More
  information on the venue and the co-located conferences and
  workshops can be found on the VSL website (http://vsl2014.at/).
     The Constraint Handling Rules (CHR) language has become a major
  declarative specification formalism and implementation language for
  constraint reasoning algorithms and applications. Algorithms
  specified using inference rules, rewrite rules, sequents, proof
  rules, or logical axioms can often be directly written in CHR. Its
  clean semantics facilitates program 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
  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 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
  Hagenberg (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, in 2012 in Budapest (Hungary)
  at ICLP. and in 2013 in Berlin (Germany), at the 3rd CHR summer
  school.

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


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. Full papers must not
   exceed 14 pages. The limit for short papers is 8 pages.

   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.

   Submissions must be made via the EasyChair submission system
   (http://www.easychair.org/conferences/?conf=chr2014)


Programme Committee

   - Slim Abdennadher (German University in Cairo)
   - Henning Christiansen (Roskilde University)
   - Gregory Duck (National University of Singapore)
   - Francois Fages (INRIA Rocquencourt)
   - Thom Fruehwirth (University of Ulm)
   - Remy Haemmerle (Universidad Politecnica de Madrid) - chair
   - Dragan Ivanovic (IMDEA Software Institute)
   - Maria Chiara Meo (Dipartimento di Scienze)
   - Jon Sneyers (K.U.Leuven) - chair
   - Peter J. Stuckey (University of Melbourne)
   - Martin Sulzmann (IT University of Copenhagen)
   - Andrea Triossi (University Ca'Foscari Venice)


Contact

   Contact: ch...@ea...

   Remy Haemmerle
   Universidad Politecnica de Madrid,
   Madrid Spain
   http://clip.dia.fi.upm.es/~remy

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