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:
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.
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
Japan Advanced Institute of Science and Technology)
Universidad Complutense de Madrid
Universita di Pisa
|WRLA'98||Program Chair and Committee|