CoFI tutorial at ETAPS2001 in Genova

[Don Sannella <dts@dcs.ed.ac.uk>]

[This note is being sent to the news-groups comp.specification.misc and
comp.specification.larch and the cofi-list@brics.dk mailing list]

The Common Framework Initiative (CoFI) is an open international
collaboration which aims to provide a common framework for algebraic
specification and development of software.  The central element of the
Common Framework is a specification language called CASL for formal
specification of functional requirements and modular software design
which subsumes many previous algebraic specification languages.  See

   http://www.brics.dk/Projects/CoFI/

for more information about CoFI and CASL.

There will be a CoFI tutorial at ETAPS2001 in Genova on Sun 1st April.
This is included in the WADT satellite event of ETAPS and is also
available separately to people who do not wish to attend WADT.

The tutorial will cover features of CASL and its semantics, the use of
CASL in writing specifications and refining them towards executable
modular software systems, an overview of the support tools that are
available for producing and analyzing CASL specifications, and work in
progress on the use of CASL in specification and development of
reactive systems. The tutorial will assume no prior knowledge of CASL
or CoFI, but will however assume a minimal knowledge of algebraic
specifications. The main target audience will be people who want to
gain sufficient background to use CASL in software specification and
development or in teaching algebraic specification.

For information about ETAPS2001 including an online registration
form, see

   http://www.disi.unige.it/etaps2001/

Note that the ETAPS early registration deadline is FRI 2ND MARCH;
after that, the registration fee increases by 20%.  (My apologies that
this notice has been sent so close to that deadline!)

More information about the CoFI tutorial is available via the
ETAPS2001 website, or go directly to

   http://www.dcs.ed.ac.uk/home/dts/CoFI-WG/etaps2001.html

Best regards,

Don Sannella
CoFI overall coordinator

----------------------------------------------------------------------
Prof. Donald Sannella, Laboratory for Foundations of Computer Science, 
Division of Informatics, University of Edinburgh, Edinburgh EH9 3JZ
http://www.dcs.ed.ac.uk/home/dts/  ftp://ftp.dcs.ed.ac.uk/pub/dts
E-mail: dts@dcs.ed.ac.uk phone: +44 131 650 5184 fax: +44 131 667 7209