CFP: RULE 2007 Workshop

From: Victor L Winter <vwinter_at_mail.unomaha.edu>
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

                http://www.lsv.ens-cachan.fr/rdp07/rule.html
================================================================================



Scope

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

Due to theoretical and technological advances, rule-based programming
techniques
are being incorporated into a wide range of research areas including:
Generative
Programming, Aspect-Oriented Programming, Software Maintenance, Reverse
Engineering,
Domain Specific Language Development, and Information Assurance (e.g.,
security,
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.


Topics

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

* 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


Proceedings

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.


Submissions

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 (joost.visser_at_di.uminho.pt) or Victor Winter
(vwinter_at_mail.unomaha.edu).


Important Dates

Sunday 25th March, 2007 Deadline for electronic submission of
papers
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
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry



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

This archive was generated by hypermail 2.3.0 : Do Jun 20 2024 - 07:15:08 CEST