CoFI workshop at ETAPS'2000 in Berlin

[Andrzej Tarlecki <tarlecki@mimuw.edu.pl>]

Dear Semanticists,

The schedule of the CoFI workshop at ETAPS'2000 in Berlin is now ready
(see: http://www.dcs.ed.ac.uk/~dts/CoFI-WG/etaps2000.html).

The Semantics Task Group will meet on Sunday, April 2nd, starting at
9.00 am (sharp!) and ending at 10.30 am (with a bit of luck :-)

As announced earlier, the agenda will cover the following items:

1. Review the current status of the semantics, discuss what needs to
   be done to complete it, name (again?) people to do this, and set
   some deadlines.

2. Discuss institution-independence of the semantics, including:
   - a brief presentation from Till on his semantics of structured
     specifications independent from institution-with-symbols;
   - discussion/presentation of the ideas on the semantics of
     architectural specifications independent from
     institution-with-even-more-stuff

3. Review of further work planned by the group, with gathering
   volunteers, perhaps setting some deadlines, plans for future
   meetings etc.

Feel free to send to me any comments and further points if needed.
Also, confirm your participation in the session (if you have not done
so before).

Looking forward to meeting many of you in Berlin,

With best regards,

Andrzej Tarlecki