[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:

• specification case studies
• extensions of ASF+SDF: higher-order algebraic specifications, order sorted ASF+SDF, parameterization, literate specification
• tool generation: interpreters, compilers, simulators, pretty-printers, graphical user interfaces, documentation tools, test-set generators, parsers
• general techniques: origin tracking techniques, incremental techniques, compilation of term rewriting systems, tool connection tools and interface definition
• teaching formal methods
• 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 .