[CA] ================================================ AMAST Links 01 03

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

  *Aim and Scope* 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.
  *Topics* include but are not limited to:
 o  specification case studies
 o  extensions of ASF+SDF: higher-order algebraic specifications, 
    order sorted ASF+SDF, parameterization, literate specification
 o  tool generation: interpreters, compilers, simulators, 
    pretty-printers, graphical user interfaces, documentation tools, 
    test-set generators, parsers
 o  general techniques: origin tracking techniques, incremental 
    techniques, compilation of term rewriting systems, 
    tool connection tools and interface definition
 o  teaching formal methods
 o  other approaches to the use and development of alg. specifications
  *Tool Demonstration* proposals are welcome.
  *Proceedings:* Full papers for all presentations will appear in the
participants proceedings (also available on WWW). If there are 
sufficiently many submissions of high quality, publication of the 
workshop proceedings by a publishing company will be considered.
This will involve a second round of external reviewing.
  *Important Dates:* Subm: 24 Feb 95; Notif: 20 Mar 95; Final: 1 May 95
  *Submissions:* Extended abstracts of up to four pages, to the address
below. E-mail submissions in ASCII or PostScript format are preferred. 
  *Organization* Mark van den Brand (Amsterdam), Arie van Deursen 
(Eindhoven), T.B. Dinesh (CWI), Jasper Kamperman (CWI),
Eelco Visser (Amsterdam).
   *Address:* ASF+SDF'95, Arie van Deursen / Alda Bouten
   TU Eindhoven, Department of Computing Science, Formal Methods Group
   P.O. Box 513, NL-5600 BM Eindhoven, The Netherlands
   Fax: +31 40 463992, Email: arie@win.tue.nl
   WWW: URL: http://www.cwi.nl/~gipe/asf+sdf95/