RULE'05

6th International Workshop on Rule-Based Programming
April 23, 2005 Nara, Japan

PROGRAM OF RULE'05 NEW

IMPORTANT DATES

January 31, 2005	Deadline for electronic submission of papers
March 8, 2005	Notification of acceptance of papers
March 21, 2005	Deadline for final versions of accepted papers
April 23, 2005	Workshop

TOPICS

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

SUBMISSIONS and CALL FOR PAPERS

Papers (of at most 15 pages) should be submitted electronically via the web-based submission form. Any problems in submitting the paper should be reported to one of the program committee chairs:

Horatiu.Cirstea@loria.fr

narciso@sip.ucm.es

The call for papers can be found here.

PROCEEDINGS

Accepted papers will be published in the preliminary proceedings volume, which will be available during the workshop. Publication of the final proceedings in Electronic Notes in Theoretical Computer Science (ENTCS) is anticipated.