[Prev][Next][Index][Thread]
Workshop Announcement
A N N O U N C E M E N T
The 2nd International Workshop on the Theory
and Practice of Algebraic Specifications
ASF+SDF'97
CWI, Amsterdam, The Netherlands,
25 and 26 September 1997
Organised By
University of Amsterdam (UvA)
Centrum voor Wiskunde en Informatica (CWI)
A call for papers, including important dates, submission
details and members of the program committee will be
distributed within a few weeks time.
ASF+SDF'97 will be a forum for the presentation of research papers on
the theory, design, implementation and applications of the algebraic
specification formalism ASF+SDF. The scope of the workshop is,
however, not restricted to results immediately related to the ASF+SDF
system. Results in one of the topics of interest (see below) as well
as direct applications of ASF+SDF are solicited. Research papers,
experience reports and case studies will all be welcome. We encourage
research talks that are combined with a system demonstration.
TOPICS OF INTEREST INCLUDE
(but are not limited to)
* Algebraic Specification * Industrial Applications
* Term Rewriting * Practical experience and case studies
* Type Systems * Tool Coordination
* Syntactic Analysis * Program Understanding
* Programming Environments * Language Prototyping
ORGANISING COMMITTEE
Arie van Deursen (CWI), Alex Sellink (UvA), Eelco Visser (UvA)
FURTHER INFORMATION
Phone : +31 (0)20 525.7583
e-mail : alex@wins.uva.nl
Internet: http://adam.wins.uva.nl/~gipe/asf+sdf97/