[M3] ================================================ AMAST Links 02 04

ASF+SDF'95, Workshop on Generating Tools from Algebraic Specifications
                    CWI, Amsterdam, 11-12 May 1995

   *Update* of information in [AL0103CA].

   The _ASF+SDF'95 Call for Participation_ is available at URL:
   http://www.cs.utwente.nl/data/amast/links/v02/i04/full/AC0204M3.txt

  Over the past five years, a significant amount of research has been
invested in the development of the ASF+SDF algebraic specification
formalism, and the associated supporting system, the ASF+SDF
Meta-environment. The formalism is characterized by its notational
flexibility, and the system by its support for incrementality and rapid
prototyping. Currently, experience with the (industrial) use of ASF+SDF
is growing, relations with other approaches are being studied, and a
variety of drastic extension plans is being launched.
  The aim of this workshop is to bring together researchers and ASF+SDF
users with an interest in the further development of ASF+SDF, and to
provide a platform for sharing experiences, for explaining relations
with other areas, and for discussing future directions.
  The ASF+SDF'95 Program and Registration form can be found in the Call
for Participation mentioned above.
  Up-to-date information about the workshop can be retrieved via:
WWW : http://www.cwi.nl/~gipe/asf+sdf95/ 
FTP : ftp://ftp.cwi.nl/pub/gipe/asf+sdf95/