WRLA'98

Second International Workshop on Rewriting Logic and its Applications

September 1-4, 1998, Pont-à-Mousson, France


CALL FOR PAPERS

Following the successful first International Workshop on Rewriting Logic and its Applications, held at Asilomar (California) in September 1996, a second workshop will take place in France, near Nancy, in September 1998.

Rewriting logic is a natural semantic framework for concurrency and parallel programming, and for the specification of systems and languages. It has also good properties as a logical framework for representing logics. A growing number of research efforts exploring the application of rewriting logic in all these directions are being carried out worldwide, and several languages based on rewriting logic are being designed and implemented. The goal of this workshop is to bring together researchers, from all over the world, interested in these ideas, so that they can present their recent work and discuss future research directions. In addition to time devoted to the presentation of papers, the program will include tutorial and invited presentations, system demonstrations and panel discussions on specific research topics.

The setting and location will be conducive to a relaxed, yet intense, exchange of ideas. All the activities, meals, and the residence of the participants will take place at the Abbaye des Premontres at Pont-à-Mousson, near Nancy. To facilitate a true workshop environment, it is anticipated that the number of participants will be restricted to about forty; early registration is recommended.

Papers will be accepted on topics including, but not limited to, the following:

Submissions:

The papers will be evaluated by the program committee on the basis of a 10 pages abstract submitted electronically (in Postscript format) to the program chairs (Claude and Hélène Kirchner). The Proceedings will be available at the time of the workshop and we anticipate their publication in the Electronic Notes in Theoretical Computer Science series.

Important dates:

Submission of abstracts due to program chairs
Notification of acceptance
Camera-ready copy due
Workshop at Pont-à-Mousson
May 15, 1998
July 1, 1998
August 15, 1998
September 1-4, 1998

Program Committee:

Kokichi Futatsugi
Jean-Pierre Jouannaud
Claude Kirchner
Hélène Kirchner
Narciso Marti-Oliet
Jose Meseguer
Ugo Montanari
Carolyn Talcott
Martin Wirsing
Japan Advanced Institute of Science and Technology)
Universite Paris-Sud
LORIA-INRIA (Co-chair)
LORIA-CNRS (Co-chair)
Universidad Complutense de Madrid
SRI International
Universita di Pisa
Stanford University
Universitaet Muenchen

WRLA'98 Program Chair and Committee