From: Peter Van Weert on
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