workshop announcement, WRLA 2000

[Rewriting logic is a powerful framework under which various programming
languages and systems have been simulated or prototyped. Recent examples
include: extracting a semantics of an object-oriented language with
polymorphism and inheritance, where a type inference algorithm is used;
a mixture of operational and denotational semantics of Java, with full
treatment of its type system and multi-thread. Other such studies are
very welcome.]

    International Workshop on Rewriting Logic and its Applications

	       Kanazawa Cultural Hall, Kanazawa, JAPAN
		       September 18-20, 2000

Following the successful first and second International Workshops on
Rewriting Logic and its Applications, held in Asilomar (California) in
September 1996 and in Pont-a-Mousson (France) in September 1998, a
third workshop will take place in Kanazawa (Japan) in September
18,19,20 (Mon,Tue,Wed), 2000.

Rewriting logic is a natural semantic framework for concurrency,
parallelism, and communication in computing, and for the specification
of a wide range of systems and languages.  It also has 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 such as CafeOBJ, ELAN, and Maude
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 works, discuss future research directions, and exchange
ideas.  In addition to the presentations of research results, the
program will include tutorials and invited presentations, system
demonstrations and panel discussions on specific research topics.

Kanazawa is one of the most beautiful old towns in Japan.  The
workshop site (Kanazawa Cultural Hall) is located just in the downtown
of Kanazawa and major sightseeing spots are easily accessible on foot.
Rooms at the best hotels in the town, which are located a few minites
walk from the workshop site, are going to be reserved at discount rate
for the accommodations.  This setting would make the workshop
intimate, enjoyable, and productive.  To facilitate a true workshop
environment, it is planned to limit the number of participants to
reasonable size, and 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/or parallel 
  specification and/or programming;
o languages based on rewriting logic;
o rewriting approaches to behavioral specifications.

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 (kokichi@jais.ac.jp).  The Proceedings will be
available at the time of the workshop, and their publication in the
Electronic Notes in Theoretical Computer Science series is


  Joseph Goguen		Univ. of California at San Diego, USA
  Helene Kirchner	LORIA-CNRS, France
  Jon Millen		CSL-SRI, USA
  Hideyuki Nakashima	ETL-MITI, Japan


  May 10, 2000           Submission of abstracts due to program chair
  June 30, 2000          Notification of acceptance
  August 10, 2000        Camera ready copies of full papers due
  September 18-20, 2000  Workshop in Kanazawa, Japan


David Basin                Albert-Ludwigs-Universitaet Freiburg
Razvan Diaconescu          Institute of Mathematics of 
                                               the Romanian Academy 
Kokichi Futatsugi (Chair)  Japan Advanced Institute of 
                                             Science and Technology
Jean-Pierre Jouannaud      Universite Paris-Sud 
Helene Kirchner            LORIA-CNRS
Narciso Marti-Oliet        Universidad Complutense de Madrid
Jose Meseguer              SRI International 
Ugo Montanari              Universita di Pisa
Mitsu Okada                Keio University
Carolyn Talcott            Stanford University
Yoshihito Toyama           Tohoku University
Martin Wirsing             Ludwig-Maximilians-Universitaet Muenchen


Ataru Nakagawa             SRA, Japan


Shusaku Iida              JAIST, Japan       

INFORMATION: available on the World Wide Web page of the workshop at