[C4] ================================================ AMAST Links 03 01

 First Int'l Workshop on Rewriting Logic and its Applications, RWLW'96
Asilomar Conference Center, Pacific Grove, CA, USA, September 3-6, 1996

   The full version of this _Call for Papers_ is available at the URL:
   http://www.cs.utwente.nl/data/amast/links/v03/i01/full/AC0301C4.txt

  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 in rewriting logic, from all over the
world, to present 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, and panel discussions
on specific research topics.  Papers will be accepted on topics 
including, but not limited to, the following: foundations, models, and
 extensions of rewriting logic (RWL); uses of rewriting logic as a 
logical framework; applications to the specification of languages and 
systems; applications to object-oriented specification and programming;
applications to concurrency and parallel programming; programming 
languages based on rewriting logic.
  *Paper Submission* The papers will be evaluated by the program
committee on the basis of a 2000 word abstract submitted electronically
(in postcript format) to the program chair (_meseguer@csl.sri.com_).
The Proceedings will be available at the workshop and will also be made
available by ftp. In addition, publication of a book after the workshop
collecting papers of the highest technical and/or tutorial significance
and that best represent the current state of the art, is being planned.
  *Important Dates*
   May 1, 1996:              Abstracts due to program chair
   June 1, 1996:             Registration period begins
   June 15, 1996:            Notification of acceptance
   July 15, 1996:            Camera ready copies of full papers due
  *Further Information*. See WWW at URL: http://www.csl.sri.com/RWLW96