[rules-users] CHR 2010: Call for Participation

CALL FOR PARTICIPATION CHR 2010 7th International Workshop on Constraint Handling Rules associated with ICLP 2010 (part of FLoC 2010) Edinburgh, Scotland, 20 July 2010 http://dtai.cs.kuleuven.be/CHR/CHR2010/ HIGHLIGHTS * newcomers' welcome to CHR tutorial by Thom Frühwirth * invited talk on the JBoss Drools business rules platform by Mark Proctor * invited talk by Matt Lilley of SecuritEase, a leading stock broking system * introduction to CHRiSM, a CHR-based probabilistic formalism, by Jon Sneyers * presentation of the six accepted papers + two demos 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 for more information: http://dtai.cs.kuleuven.be/CHR/ PROGRAM The CHR 2010 workshop offers a very attractive and varied program. Next to our accepted technical papers, we have two invited speakers: Mark Proctor from the JBoss Drools project, a major open-source business rule platform, and Matt Lilley from SecuritEase, a leading stock broking dealing and settlement system, and one of the most prominent industry users of Prolog and CHR. Other highlights are the first practical confluence checker for CHR, and several application-oriented presentations, including two demos by students from the University of Ulm on using CHR with a multi-touch interface: one for automated music generation, and one aimed at providing long-term routing for fully autonomous sailing boats (in cooperation with the Roboat project). Because many FLoC attendants will be new to CHR, we included two additional introductionary presentations: Thom Frühwirth will give a broad tutorial on CHR in general, and Jon Sneyers will introduce the recent CHR-based probabilistic formalism CHRiSM (also presented at the main ICLP conference). The full workshop's program is available at: http://dtai.cs.kuleuven.be/CHR/CHR2010/programme.shtml REGISTRATION Registration for the workshop can be done online at: http://www.floc-conference.org/registration.html Early registration ends 17 May. ORGANIZATION Program Committee: * Sebastian Brand, NICTA and University of Melbourne, Australia * Henning Christiansen, Roskilde University, Denmark * Verónica Dahl, Simon Fraser University, Canada * Leslie De Koninck, NICTA and University of Melbourne, Australia (co-chair) * Thom Frühwirth, Ulm University, Germany * Marco Gavanelli, University of Ferrara, Italy * Rémy Haemmerlé, Universidad Politécnica de Madrid, Spain * Maria-Chiara Meo, "Gabriele d'Annunzio" University, Italy * Paolo Pilozzi, K.U.Leuven, Belgium * Frank Raiser, Ulm University, Germany * Peter Van Weert, K.U.Leuven, Belgium (co-chair) * Jairson Vitorino, Federal University of Pernambuco, Brazil * Armin Wolf, Fraunhofer FIRST, Germany Workshop Coordinators: Contact: chr2010(a)easychair.org Peter Van Weert Department of Computer Science, K.U.Leuven Leuven, Belgium http://people.cs.kuleuven.be/~peter.vanweert/ Leslie De Koninck National ICT Australia, Victoria Research Laboratory Dept of Computer Science and Software Engineering, University of Melbourne Melbourne, Australia