ELSNET-list archive

Category:   E-CFP
Subject:   Constraint Handling Rules 2006
Email:   event_(on)_in.tu-clausthal.de
Date received:   26 Jan 2006
Deadline:   07 May 2006
Start date:   09 Jul 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) ------------------------------------------------------------ http://www.cs.kuleuven.be/%7Etoms/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/%7Edtai/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_(on)_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_(on)_gmail.com Tom Schrijvers (contact person) Department of Computer Science K.U.Leuven http://www.cs.kuleuven.be/%7Etoms/ Thom Fruehwirth Fakultaet fuer Informatik Universitaet Ulm http://www.informatik.uni-ulm.de/pm/fileadmin/pm/home/fruehwirth/ ------------------------------------------------------------------------ This e-mail was delivered to you by event_(on)_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_(on)_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 Germany http://cig.in.tu-clausthal.de/ _______________________________________________ Elsnet-list mailing list Elsnet-list_(on)_elsnet.org http://mailman.elsnet.org/mailman/listinfo/elsnet-list

[print/pda] [no frame] [navigation table] [navigation frame]     Page generated 14-02-2008 by Steven Krauwer Disclaimer / Contact ELSNET