AS 2002

4th International Workshop on Action Semantics and Related Frameworks
Copenhagen, Denmark, July 21st, 2002
Affiliated with FME 2002

Action Semantics is a practical framework for formal semantic description of programming languages. Since its appearance ten years ago in 1992, Action Semantics has been used to describe major languages such as Pascal, SML, ANDF, and Java, and various tools for processing action semantic descriptions have been developed.

The AS 2002 workshop is to report recent developments, demonstrate tools, and coordinate future work. It is intended primarily for those working with Action Semantics and (loosely) related frameworks, but participation is open to all who are familiar with the basic ideas of Action Semantics. See the Proceedings of the previous workshops in this series for an impression of what to expect: AS 2000, AS'99, and AS'94.

Abstracts of the accepted presentations are available electronically; copies are to be handed out at the workshop. The AS 2002 Proceedings with extended abstracts/full papers is to be published in the BRICS Notes Series in November 2002.

For further information see the AS 2002 web page at

Invited speaker


Peter D. Mosses <>
BRICS & Dept. of Computer Science
University of Aarhus
Ny Munkegade, bldg. 540
DK-8000 Aarhus C, DENMARK
+45 8942 3285
+45 8942 3255 (fax)