Fifth Workshop on Rule-Based Constraint Reasoning and Programming (RCoRP'03)

held at the ninth International Conference on Principles and Practice of Constraint Programming, CP'2003

Kinsale, County Cork, Ireland

September 29, 2003



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 four workshops on this topic: 1st RCoRP at CL2000 (London), 2nd RCoRP at CP2000 (Singapore), RCoRP'01 at CP2001 (Cyprus), and RCoRP'02 at CP2002 (Ithaca), this fifth workshop again invites papers describing ongoing work in using rule-based formalisms in constraint reasoning and programming. Topics include, (but are not restricted to):
  • specification of algorithms for solving constraints by rules
  • implementations of constraint solvers and programs solving problems in a novel way using rule-based programming languages that go beyond constraint logic programming
  • automatic generation of rule-based constraint solvers
  • analysis of rule-based programs
  • other issues related to rule-based language design and implementation.


Dates
Submission July 15th, 2003 (Extended deadline)
Notification July 30th, 2003
Camera-ready August 24th, 2003
Workshop September 29th, 2003
CP'2003 September 30th, 2003 - October 3th, 2003


Submission
To submit, send an email by clicking here, with title, author(s), email(s) and attachment of a compressed postscript or pdf file (up to 15 pages) preferably formated according to the LNCS instructions.

Electronic Proceedings
Marija Kulas : Pure Prolog execution in 21 rules.
Andrei Legtchenko : Delaying "big" operators in order to construct some new consistencies.


Organisation
Slim Abdennadher University of Munich
Thom Frühwirth University of Ulm
Arnaud Lallouet University of Orléans

Committee
Slim Abdennadher University of Munich
Thi Bich Hanh Dao University of Orléans
Abdelali Ed-dbali University of Orléans
Thom Frühwirth University of Ulm
Arnaud Lallouet University of Orléans
Eric Monfroy University of Nantes




Celtic art courtesy of
Page maintained by Arnaud Lallouet