RULE'04 --- 1st Call For Papers

[Apologies for multiple copies.]

CALL FOR PAPERS

  5th International Workshop on Rule-Based Programming RULE'04
  June 1, 2004

  WWW: http://www-i2.informatik.rwth-aachen.de/RULE04

  Affiliated to RDP'04, the Federated Conference on Rewriting,
  Deduction, and Programming.
  May 31 - June 5, 2004
  Aachen, Germany 

Scope:
------

Rule-based programming is currently experiencing a renewed period of
growth with the emergence of new concepts and systems that allow a
better understanding and better usability. On the theoretical side,
after the in-depth study of rewriting concepts during the eighties,
the nineties saw the emergence of the general concepts of rewriting
logic and of the rewriting calculus. On the practical side, new
languages and systems such as ASF+SDF, BURG, CHRS, Claire, ELAN,
Maude, and Stratego have shown that rules are a useful programming
tool.

The practical application of rule-based programming prompts research
into the algorithmic complexity and optimization of rule-based
programs as well as into the expressivity, semantics and
implementation of rule-based languages.

The purpose of this workshop is to bring together researchers from the
various communities working on rule-based programming to foster
fertilisation between theory and practice, as well as to favour the
growth of this programming paradigm.

The previous editions of the RULE workshop were held at 

Valencia (2003) during the RDP conference "Rewriting, Deduction and
Programming", and Pittsburg (2002), Firenze (2001), Montreal (2000)
during the PLI Conferences "Principles, Logics, and Implementations 
of high-level programming languages". 

We solicit original papers on all topics of rule-based programming,
including but not restricted to

* Languages for rule-based programming
  - Expressivity
  - Semantics
  - Implementation techniques
* Applications of rule-based programming
  - Analysis of rule-based programs
  - Programming methods
* Environments for rule-based programming
  - (Partial) Evaluation
  - Abstract machines for rewriting
* Combination of rule-based programming with other paradigms
* System descriptions


Submission procedure and publication:
-------------------------------------

Papers (of at most 15 pages) should be submitted electronically as
PostScript or PDF files to: [email protected] 
The message should also contain a text-only abstract and author
information. 

Papers should be received by March 17, 2004. 
********************************************

The proceedings will appear as technical report of the department of
computer science of the RWTH Aachen University. The use of the style
file available from the RDP workshop style page is strongly
encouraged: http://www-i2.informatik.rwth-aachen.de/RDP04/style.html
More details on the publication of post workshop proceedings will be
announced on the RULE'04 webpage.

Workshop organizers: 
--------------------
Slim Abdennadher, Christophe Ringeissen (email: [email protected])

Program Committee:
------------------

Slim Abdennadher, PC co-chair (German U. in Cairo, Egypt)
Mark van den Brand (CWI, The Netherlands)
Steven Eker (SRI, USA)
Tom Fruehwirth (U. Ulm, Germany)
Michael Hanus (U. Kiel, Germany)
Jan Maluszynski (U. Linkoping, Sweden) 
Narciso Marti-Oliet (UCM, Spain)
Olivier Michel (U. Evry, France)
Christophe Ringeissen, PC co-chair (LORIA-INRIA, France)

Important dates:
----------------

 Deadline for submissions:     March 17, 2004 
 Notification of acceptance:   April 14, 2004 
 Camera-ready papers:          May 2, 2004 
 Workshop:                     June 1, 2004