Fourth Workshop on Rule-Based Constraint Reasoning and Programming (RCoRP'02)

in conjunction with MultiCPL'02

September 8, 2002

Cornell University

Ithaca, NY, USA

CP 2002 Workshop

[Program] [Dates] [Submission] [Organization]
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.

Program
Session One (13:30-15:00)
13:30-14:00, FaCiLe: a Functional Constraint Library
P. Brisset and N. Barnier
14:00-14:30, Constraint-Functional Programming based on Generic Functions
M. Hölzl
14:30-15:00, On Semantic Link between Logic, Object-Oriented, Functional and Constraint Programming
A. Morozov
Coffee Break (15:00-15:30)
Session Two (15:30-16:30)
15:30-16:00, Analysis of a Global Contiguity Constraint
M. J. Maher
16:00-16:30, A Note on Redundant Rules in Rule-based Constraint Programming
S. Brand
Proceedings

Dates

Submission July 15, 2002
Notification July 31, 2002
Workshop September 8, 2002
CP 2002 September 9 - 13, 2002

Submission

To submit, send an email by clicking here, 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@informatik.uni-muenchen.de

Thom Frühwirth
Department of Computer Science
University of Munich
e-mail: fruehwir@informatik.uni-muenchen.de

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

Programme Committee:

Stefano Bistarelli, University of Pisa
Carlos Castro, University of Valparaíso, 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
Page maintained by Slim Abdennadher