Apologies if you receive multiple copies ________________________________________ Call for Papers ------------------------------------------------------------ Sixth International Workshop on Constraint Handling Rules CHR 2009 July 14-17, 2009 (exact day t.b.a.) Pasadena, California Co-located with the International Conference on Logic Programming (ICLP 2009) ------------------------------------------------------------ http://www.uni-ulm.de/in/pm/research/events/chr2009 Introduction ------------ 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://www.cs.kuleuven.be/~dtai/projects/CHR/) for more information. Previous Workshops on Constraint Handling Rules were organized in May 2004 in Ulm (Germany), in October 2005 in Sitges (Spain) at ICLP, in July 2006 in Venice (Italy) at ICALP, in September 2007 in Porto (Portgual) at ICLP, and in July 2008 in Hagenberg (Austria) at RTA. 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 Submission Information ---------------------- All papers must be written in English and not exceed 15 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=chr2009. Accepted papers will be published in a technical report. Important Dates --------------- * Submission of abstract: April 17, 2009 * Submission of paper: April 22, 2009 * Notification of acceptance: May 13, 2009 * Final version due: May 25, 2009 * Workshop date: July 14-17, 2009 (exact day t.b.a.) Organization ------------ Program Committee: * Hariolf Betz, Universitaet Ulm (Germany) * Henning Christiansen, Roskilde University (Denmark) * Francois Fages, INRIA Rocquencourt (France) * Thom Fruehwirth, Universitaet Ulm (Germany) * Remy Haemmerle, Universidad Politecnica de Madrid (Spain) * Leslie De Koninck, Katholieke Universiteit Leuven (Belgium) * Edmund S. Lam, National University of Singapore (Singapore) * Eric Monfroy, Universite de Nantes (France) * Jacques Robin, Universidade Federal de Pernambuco (Brazil) * Beata Sarna-Starosta, LogicBlox Inc., Atlanta (USA) * Tom Schrijvers, Katholieke Universiteit Leuven (Belgium) * Peter J. Stuckey, NICTA Victoria Laboratory (Australia) Workshop Coordinators: chr2009@easychair.org Frank Raiser Faculty of Engineering and Computer Science Ulm University, Germany http://www.uni-ulm.de/in/pm/mitarbeiter/raiser.html Jon Sneyers (contact person) Department of Computer Science K.U.Leuven, Belgium http://www.cs.kuleuven.be/~jon/