Plans for the next CoFI Methodology meeting in Berlin

[Michel@daimi.au.dk, Bidoit@daimi.au.dk]

Dear CoFI friends,

I apologize for only confirming now the plans for the next meeting of the
CoFI Methodology Task Group which will be held at the ETAPS conference
in Berlin (see invitation by Don appended).

The proposed agenda is as follows:

(Note that I am very open to further suggestions and that the final agenda
is likely to be decided on site)

* Status report on the CASL User Manual
* Discussion on CASL case studies
* Presentation by Till Mossakowski:
  "How to write consistent design specifications in CASL"
* Discussion (if time permits) on:
  "How should we teach students to use CASL"
  led by Magne Haveraaen
  (with perhaps some annoucement related to:
        Magne Haveraaen, Helmer André Friis and Tor Arne Johansen:
	Formal Software Engineering for Computational Modeling.
	Nordic Journal of Computing 6(3):241-270, 1999. )

Best regards,
Michel Bidoit
CoFI Methodology Task Group Coordinator

---------------------------------------------------------------------

Don Sannella wrote:
> 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
> 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.