CFP: RULE 2007 Workshop

From: Victor L Winter <>
Date: Sun, 11 Feb 2007 10:29:20 -0600

Our apologies if you receive multiple copies of this email.

     Victor Winter and Joost Visser.


            The Eighth International Workshop on Rule-Based Programming
                          Friday, June 29, 2007, Paris
                               Part of RDP'07



Rule-based programming provides a framework that facilitates viewing
computation as a sequence of changes transforming a complex shared
such as a term, graph, proof, or constraint store. In rule-based
a set of abstractions and primitive operations typically provide
mechanisms for recognizing and manipulating structures. In a classical
a rule-based program consists of a collection of (conditional) rewrite
together with a partially-explicit specification of how the rule
should be applied to a given structure.

Due to theoretical and technological advances, rule-based programming
are being incorporated into a wide range of research areas including:
Programming, Aspect-Oriented Programming, Software Maintenance, Reverse
Domain Specific Language Development, and Information Assurance (e.g.,
testing, etc.). Oftentimes, the ad hoc incorporation of rule-based
techniques into
a particular area or problem domain raises general issues that warrant
further study.
Related to this is a growing need to share foundational infrastructure
(e.g., parsers,
pretty printers, etc.) between rule-based systems. The goal of this
workshop is to
foster the exchange of ideas within the rule-based programming community.


We solicit original papers on all topics related to rule-based programming

* Applications to Software
  - Development
  - Evolution
  - Information Assurance

* Systems
  - Descriptions of rule-based systems
  - Descriptions of rule-based languages

* Hybrid paradigms -- Rule-based programming combined with:
  - Functional programming
  - Logic programming
  - OO programming
  - Language extensions
  - Language embeddings

* Theory
  - Advances in the rewriting calculus
  - Advances in rewriting logic

Program Committee

Mark van den Brand, TU Eindhoven, Netherlands
Horatiu Cirstea, IUT Nancy Charlemagne, France
Steve Eker, SRI International, USA
Maribel Fernandez, King's College London, UK
Jeffrey G. Gray, University of Alabama at Birmingham, USA
Berthold Hoffmann, University of Bremen, Germany
Gunter Kniesel, University of Bonn, Germany
Ralf Lammel, Microsoft, USA
Pierre-Etienne Moreau, INRIA, France
Dan Resler, Virginia Commonwealth University, USA
Eelco Visser, Delft University of Technology, Netherlands
Joost Visser (co-chair), Universidade do Minho in Braga, Portugal
Victor Winter (co-chair), University of Nebraska at Omaha, USA


Accepted papers will be published in the preliminary proceedings volume,
which will be
available during the workshop. The final proceedings are expected to be
published in
Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier.


Papers (of at most 15 pages) should be submitted electronically via the
web-based submission
site. Any problems with the submission procedure should be reported to one
of the PC chairs:
Joost Visser ( or Victor Winter

Important Dates

Sunday 25th March, 2007 Deadline for electronic submission of
Sunday 6th May, 2007 Notification of acceptance of papers
Sunday 20th May, 2007 Deadline for final versions of
accepted papers
Friday 29th June, 2007 Workshop


curry mailing list

Received on Mo Feb 12 2007 - 10:09:02 CET

This archive was generated by hypermail 2.3.0 : Do Mai 23 2024 - 07:15:08 CEST