CFP: Workshop on Rule-Based Constraint Reasoning and Programming

[Slim Abdennadher]

============================================================================

                             CALL FOR PAPERS

                               RCoRP 2002

      Fourth Workshop on Rule-Based Constraint Reasoning and Programming

                      Held in conjunction with the
                   Eighth International Conference on
         Principles and Practice of Constraint Programming, CP2002
                    http://www.cs.cornell.edu/cp2002/

                           Ithaca, NY, USA.

                          September 8, 2002

============================================================================

Rule-based formalisms are ubiquitous in computer science, and even
more so in constraint reasoning and programming. In constraint
reasoning, algorithms are often specified using inference rules,
rewrite rules, sequents, proof rules or first-order axioms written as
implications. Advanced programming languages like CHR, CLAIRE and ELAN
allow to implement both constraint solvers and programs using
constraints in a rule-based formalism.

After the three workshops on this topic at CL2000 in London, CP2000 in
Singapore, and CP2001 in Cyprus, this fourth workshop again invites
papers describing ongoing work in using rule-based formalisms in
constraint reasoning and programming. In particular, on specification
of algorithms for solving constraints by rules and on implementations
of constraint solvers and programs solving problems in a novel way
using rule-based programming languages that go beyond constraint logic
programming, as well as on analysis of rule-based programs and other
issues related to rule-based language design and implementation.

The WWW page of the workshop is:

           http://www.cs.tu-berlin.de/~multicpl02/

============================================================================

IMPORTANT DATES

Submission:     July 15, 2002
Notification    July 31, 2002
Workshop:       September 8, 2002


===========================================================================

Submission

To submit, send an email containing four consecutive ASCII lines with
title, author(s), email(s) and WWW link directly to compressed
postscript file (5-15 pages). Accepted papers will be available
electronically from this web-page and in hard-copy proceedings
(available at the workshop).

At least one author of each accepted submission must attend the
workshop. All workshop attendees must pay the CP-2002 workshop
registration fee.

===========================================================================

Organization

Workshop Organizers:

Slim Abdennadher
Department of Computer Science
University of Munich
e-mail: abdennad at informatik.uni-muenchen.de

Thom Frhwirth
Department of Computer Science
University of Munich
e-mail: fruehwir at informatik.uni-muenchen.de

Armin Wolf
GMD First, Berlin
e-mail: Armin.Wolf at gmd.de


Programme Committee:

Stefano Bistarelli, University of Pisa
Carlos Castro,  University of Valparaiso, Chile
Eric Monfroy, University of Nantes
Francesca Rossi, University of Padova
Peter Stuckey, University of Melbourne
Martin Sulzmann, University of Melbourne
Christophe Rigotti, LISI - INSA, Lyon
-
Please send submissions to users at mozart-oz.org
and administriva mail to users-request at mozart-oz.org.
The Mozart Oz web site is at http://www.mozart-oz.org/.