[Haskell] CHR 2010: Call for Participation

[Leslie DE KONINCK]

                            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
* tutorial on 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 at 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