WRLA'98 last call

• Subject: WRLA'98 last call
• From: Helene Kirchner <Helene.Kirchner@loria.fr>
• Date: Sun, 10 May 1998 19:57:09 +0200 (MET DST)
• Apparently-To: <scollo@cs.utwente.nl>
• Reply-to: Helene.Kirchner@loria.fr

****************************************************************
Second International Workshop on Rewriting Logic and its Applications
    Last call: deadline for paper submission: 15 May 1998
****************************************************************

		We apologize for multiple copies of this announcement
    
****************************************************************
                          CALL FOR PAPERS

Second International Workshop on Rewriting Logic and its Applications

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


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-a-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.


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

o foundations, models, and extensions of rewriting logic;
o uses of rewriting logic as a logical framework;
o applications of rewriting logic to the specification of languages 
  and systems
o applications of rewriting logic to object-oriented specification 
  and programming;
o applications of rewriting logic to concurrency and parallel 
  programming;
o programming languages based on rewriting logic.

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 (kirchner@loria.fr). 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:

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


PROGRAM COMMITTEE:

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


INFORMATION: available on the World Wide Web page of the workshop at 
http://www.loria.fr/WRLA98

• Prev: Reminders: FLoC'99 call for workshops and LICS'98 early registration
• Next: POPL99 Call for Papers
• Index: AMAST Mail 1998