WRLA'98
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
|