CASL tutorial at CoFI workshop: 1-2 April during ETAPS 2000, Berlin

[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.  Many
readers will by now be aware of the existence of CoFI and CASL even if 
they have not contributed to them personally.  See 
    http://www.brics.dk/Projects/CoFI
for further information.

Invitation
----------
There will be a CoFI workshop at ETAPS 2000 in Berlin on 1-2 April.
For information about ETAPS 2000 see
    http://iks.cs.tu-berlin.de/etaps2000
(early registration deadline 29 February) and for information about
the CoFI workshop see
    http://www.dcs.ed.ac.uk/home/dts/CoFI-WG/etaps2000.html
This CoFI workshop will consist mainly of technical working meetings.
However, the first session will be an example-based CASL tutorial
which assumes no prior knowledge of CASL.  People who come only to
this tutorial are not required to register for the workshop.

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
Secretary: Margaret Davis e-mail: mda@dcs.ed.ac.uk phone: +44 131 650 5132
-----------------------------------------------------------------------