Dear collegue, FME 2002 is the eleventh in a series of symposia organised by Formal Methods Europe (www.fmeurope.org), an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. These symposia have been notably successful in bringing together a community of users, researchers, and developers of precise mathematical methods for software development. Registration for FME 2002 is now open! Please visit http://floc02.diku.dk/FME/ and http://floc02.diku.dk/floc/register.html for more information and and on-line registration. Don't miss out on this event! _______________________________________________ Mailinglist mailing list Mailinglist@fmeurope.org http://www.fmeurope.org/mailman/listinfo/mailinglist
To the FME Mailing List: [Kindly forward to interested colleagues and local mailing lists] ************* DEADLINE FOR ABSTRACTS: MONDAY 6th MAY ************** N.B. No extension of the deadline is envisaged(!) - but contact the organizer if you missed the first CFP and need an extra day or two. AS 2002 <http://www.brics.dk/Projects/AS/2002/> 4th International Workshop on ACTION SEMANTICS and RELATED FRAMEWORKS Copenhagen, Denmark, July 21, 2002 Affiliated with FME 2002 Action Semantics is a practical framework for formal semantic description of programming languages. Since its appearance 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. A special topic at this workshop is to assess the relative strengths of Action Semantics and the ASM (Abstract State Machine) framework. AS 2002 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 <http://www.brics.dk/NS/00/6/>, AS'99 <http://www.brics.dk/NS/99/3/>, and AS'94 <http://www.brics.dk/NS/94/1/BRICS-NS-94-1/>. Abstracts of the accepted presentations will be made available electronically. Copies will 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. Those wishing to give a presentation at the AS 2002 workshop should submit a 1-page abstract. For further information see the AS 2002 web page at <http://www.brics.dk/Projects/AS/2002/>. Invited speaker: *** EGON BÖRGER, U Pisa, Italy: Comparing ASMs with other computation models and approaches to semantics Important dates: * MON MAY 6, 2002 - ABSTRACT SUBMISSION * Fri May 17, 2002 - program announced * Tue October 15, 2002 - extended abstracts / full papers due Organizer: Peter D. Mosses <pdmosses@brics.dk> BRICS & Dept. of Computer Science University of Aarhus Ny Munkegade, bldg. 540 DK-8000 Aarhus C, DENMARK _______________________________________________ Mailinglist mailing list Mailinglist@fmeurope.org http://www.fmeurope.org/mailman/listinfo/mailinglist
participants (1)
-
mailinglist-admin＠fmeurope.org