[TYPES/announce] Last call for papers: Rule-based programming 2006

Ralf Lammel Ralf.Lammel at microsoft.com
Tue May 2 18:47:50 EDT 2006


RULE'06, 7th International Workshop on Rule-Based Programming, 11th August, 2006, Seattle, USA, A Satellite Event of RTA http://www.dcs.kcl.ac.uk/events/RULE06/

________________________________________

IMPORTANT DATES 

- 14th May, 2006 Deadline for electronic submission of papers
- 15th June, 2006 Notification of acceptance of papers
- 30th June, 2006 Deadline for final versions of accepted papers
- 11th August, 2006 Workshop
________________________________________

INVITED SPEAKERS 

Joint RULE and WRS keynote speakers: 
- Dick Kieburtz, OHSU/OGI School of Science & Engineering
- Claude Kirchner, INRIA and LORIA
________________________________________

RULE-BASED PROGRAMMING
 
The rule-based programming paradigm is characterized by the repeated, localized transformation of a data object such as a term, graph, proof, constraint store, etc. The transformations are described by rules which separate the description of the object to be replaced (the pattern) from the calculation of the replacement. Optionally, rules can have further conditions that restrict their applicability. The transformations are controlled by explicit or implicit strategies. 
The basic concepts of rule-based programming appear throughout computer science, from theoretical foundations to practical implementations. Term rewriting is used in semantics in order to describe the meaning of programming languages, as well as in the implementation of program transformation systems. Rules are used implicitly or explicitly to perform computations, e.g., in Mathematica, OBJ, ELAN, Maude or to perform deductions, e.g., by using inference rules to describe or implement a logic, theorem prover or constraint solver. Mail clients and mail servers use complex rules to help users organising their email and sorting out spam. Language implementations use bottom-up rewrite systems for code generation (as in the BURG family of tools.) Constraint-handling rules (CHRs) are used to specify and implement constraint-based algorithms and applications. Rule-based programming idioms also give rise to multi-paradigm languages like Claire.
________________________________________

TOPICS 

We solicit original papers on all topics of rule-based programming, including:
- Languages for rule-based programming
  * Expressivity, Idioms, Design patterns
  * Semantics, Type systems
  * Implementation techniques
  * System descriptions
- Other foundations
  * Complexity results
  * Advances on rewriting logic
  * Advances on rewriting calculus
  * Static analyses of rule-based programs
  * Transformation of rule-based programs
- Applications of rule-based programming, e.g.: 
  * Program transformation
  * Software analysis and generation
  * System Control
  * Work-flow control
  * Knowledge engineering
- Combination with other paradigms
  * Functional programming
  * Logic programming
  * OO programming
  * Language extensions
  * Language embeddings
- System descriptions 

________________________________________

SUBMISSIONS 

Papers (of at most 15 pages) should be submitted electronically via the web-based submission site. http://www.easychair.org/RULE2006/
Any problems with the submission procedure should be reported to one of the PC chairs:  Maribel Fernandez (maribel at dcs.kcl.ac.uk), Ralf Lämmel (Ralf.Lammel at microsoft.com)

________________________________________
 
PROCEEDINGS 

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

PROGRAMME COMMITTEE 

- Mark van den Brand (TU Eindhoven, Netherlands)
- Horatiu Cirstea (LORIA, France)
- Pierre Deransart (INRIA Rocquencourt, France)
- Michael L. Collard (Kent State University, USA)
- Martin Erwig (Oregon State University, USA)
- Francois Fages (INRIA Rocquencourt, France)
- Maribel Fernandez (Co-Chair, King's College London, UK)
- Jean-Pierre Jouannaud (LIX, Ecole Polytechnique, France)
- Oleg Kiselyov (FNMOC, USA)
- Ralf Lämmel (Co-Chair, Microsoft, USA)
- Ugo Montanari (Universita di Pisa, Italy)
- Pierre-Etienne Moreau (LORIA, France)
- Tobias Nipkow (Technical University Munich, Germany)
- Tom Schrijvers (K.U.Leuven, Belgium)
- Martin Sulzmann (National University of Singapore, Singapore)
- Victor Winter (University of Nebraska at Omaha, USA) 




More information about the Types-announce mailing list