<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=ISO-8859-1">
</head>
<body text="#000000" bgcolor="#ffffff">
<div class="moz-text-flowed"
style="font-family: -moz-fixed; font-size: 12px;" lang="x-western">=========================================================================
<br>
<br>
Second Call for Papers
<br>
Seventh International Workshop on Constraint Handling Rules
<br>
CHR 2010
<br>
<br>
<a class="moz-txt-link-freetext"
href="http://www.cs.kuleuven.be/%7Edtai/CHR/CHR2010/">http://www.cs.kuleuven.be/~dtai/CHR/CHR2010/</a>
<br>
Edinburgh (Scotland), July 20, 2010
<br>
(co-located with ICLP 2010, part of FLoC 2010)
<br>
<br>
=========================================================================
<br>
<br>
<br>
News
<br>
<br>
* Submission deadlines are about two weeks earlier than first
announced!
<br>
(due to FLoC 2010 requirements)
<br>
<br>
* Invited speaker: We are privileged to announce a distinguished
invited
<br>
speaker this year: Mark Proctor, lead of the thriving, innovating
<br>
JBoss Drools project (<a class="moz-txt-link-freetext"
href="http://www.jboss.org/drools/">http://www.jboss.org/drools/</a>).
He will introduce
<br>
the Drools Business Logic integration Platform, a fully featured
<br>
business rule engine and management system that seamlessly
integrates
<br>
powerful Complex Event Processing and workflow capabilities.
<br>
<br>
<br>
Introduction
<br>
<br>
The CHR 2010 Workshop will be held July 20, 2010 in Edinburgh
(Scotland)
<br>
at the occasion of the 26th International Conference on Logic
<br>
Programming (ICLP 2010), the premier international venue for presenting
<br>
research in logic programming. This year, ICLP is held as part of the
<br>
Fifth Federated Logic Conference (FLoC 2010). More information on the
<br>
venue and co-located conferences can be found on the FLOC website
<br>
(<a class="moz-txt-link-freetext" href="http://www.floc-conference.org/">http://www.floc-conference.org/</a>).
<br>
<br>
The Constraint Handling Rules (CHR) language has become a major
declara-
<br>
tive specification formalism and implementation language for constraint
<br>
reasoning algorithms and applications. Algorithms specified using infe-
<br>
rence rules, rewrite rules, sequents, proof rules, or logical axioms
can
<br>
often be directly written in CHR. Its clean semantics facilitates pro-
<br>
gram design, analysis, and transformation. For more information, please
<br>
visit the CHR website (<a class="moz-txt-link-freetext"
href="http://www.cs.kuleuven.be/%7Edtai/projects/CHR/">http://www.cs.kuleuven.be/~dtai/projects/CHR/</a>).
<br>
<br>
The aim of the CHR workshop series is to stimulate and promote interna-
<br>
tional research and collaboration on topics related to the CHR
language.
<br>
The workshop is a lively, friendly forum for presenting and discussing
<br>
new results, interesting applications, and work in progress.
<br>
Previous Workshops on Constraint Handling Rules were organized in 2004
<br>
in Ulm (Germany), in 2005 in Sitges (Spain) at ICLP, in 2006 in Venice
<br>
(Italy) at ICALP, in 2007 in Porto (Portgual) at ICLP, in 2008 in
Hagen-
<br>
berg (Austria) at RTA, and in 2009 in Pasadena (California, US) at
ICLP.
<br>
<br>
<br>
Topics of Interest
<br>
<br>
The workshop calls for contributions on all aspects of CHR,
<br>
including topics such as:
<br>
<br>
- (Operational) semantics
<br>
- Program analysis (confluence, termination, ...)
<br>
- Comparisons with related approaches
<br>
- Expressivity and complexity
<br>
- Language extensions (negation, modules, ...)
<br>
- Constraint solvers
<br>
- Implementation and optimization
<br>
- Concurrency & parallelism
<br>
- Program transformation and generation
<br>
- Programming environments (debugging, confluence checking, ...)
<br>
- Programming pearls
<br>
<br>
Application papers that describe experience with (industrial)
<br>
applications, are especially welcome.
<br>
<br>
<br>
Important dates
<br>
<br>
- Abstract submission deadline: March 29, 2010
<br>
- Paper submission deadline: April 5, 2010
<br>
- Notification of acceptance: May 1, 2010
<br>
- Final version due: May 17, 2010 (tentative)
<br>
- Workshop date: July 20, 2010
<br>
<br>
<br>
Submission Information
<br>
<br>
The four broad categories for submissions are:
<br>
<br>
1. technical papers for describing technically sound, innovative
<br>
ideas that can advance the state of the art of CHR
<br>
2. application papers, where the emphasis will be on the use of CHR
<br>
in the application, on the impact on the application domain, and
<br>
the lessons learned from this application
<br>
3. system and tool papers, empasising the novelty, practicality,
<br>
usability and general availability of the systems and tools
<br>
described
<br>
4. short papers, for ongoing work not yet ready for full publication
<br>
and research project overviews.
<br>
<br>
All papers must describe original, previously unpublished research, and
<br>
must not simultaneously be submitted for publication elsewhere.
<br>
They must be written in English. Technical papers must not exceed 15
<br>
pages. The limit for short papers is 7 pages, as is the standard page
<br>
limit for application papers, and system and tool papers. However,
<br>
particularly strong contributions in the latter two areas may be
<br>
submitted as technical paper as well.
<br>
<br>
All papers must be in the Springer LNCS format. General information
<br>
about the Springer LNCS series and the LNCS authors' instructions are
<br>
available at the Springer LNCS home page
<br>
(<a class="moz-txt-link-freetext"
href="http://www.springer.com/computer/lncs?SGWID=0-164-7-72376-0">http://www.springer.com/computer/lncs?SGWID=0-164-7-72376-0</a>).
<br>
<br>
Submissions must be made via the EasyChair submission system, available
<br>
at <a class="moz-txt-link-freetext"
href="http://www.easychair.org/conferences/?conf=chr10">http://www.easychair.org/conferences/?conf=chr10</a>
<br>
<br>
<br>
Programme Committee
<br>
<br>
- Sebastian Brand, National ICT Australia, and the University
<br>
of Melbourne, Victoria, Australia
<br>
- Henning Christiansen, Roskilde University, Denmark
<br>
- Vernica Dahl, Simon Fraser University, Canada
<br>
- Leslie De Koninck, Victoria Research Laboratory, NICTA, Australia
<br>
(co-chair)
<br>
- Thom Fruehwirth Ulm University, Germany
<br>
- Marco Gavanelli, University of Ferrara, Italy
<br>
- Remy Haemmerle, Universidad Politecnica de Madrid, Spain
<br>
- Maria-Chiara Meo, "Gabriele d'Annunzio" University, Italy
<br>
- Paolo Pilozzi K.U.Leuven, Belgium
<br>
- Frank Raiser, Ulm University, Germany
<br>
- Peter Van Weert, K.U.Leuven, Belgium (co-chair)
<br>
- Jairson Vitorino, Federal University of Pernambuco, Brazil
<br>
- Armin Wolf, Fraunhofer FIRST, Germany
<br>
<br>
<br>
Workshop Coordinators
<br>
<br>
Contact: <a class="moz-txt-link-abbreviated"
href="mailto:chr2010@easychair.org">chr2010@easychair.org</a>
<br>
<br>
Peter Van Weert
<br>
Department of Computer Science, K.U.Leuven
<br>
Leuven, Belgium
<br>
<a class="moz-txt-link-freetext"
href="http://www.cs.kuleuven.be/%7Epetervw/">http://www.cs.kuleuven.be/~petervw/</a>
<br>
<br>
Leslie De Koninck
<br>
Victoria Research Laboratory, NICTA
<br>
Melbourne, Australia
<br>
<br>
</div>
<br>
<FONT FACE=3D"Helvetica" SIZE=3D2>Disclaimer: <A HREF="http://www.kuleuven.be/cwis/email_disclaimer.htm">http://www.kuleuven.be/cwis/email_disclaimer.htm</A> for more information.</FONT>
<BR>
</body>
</html>