[MG] ================================================ AMAST Links 03 01

                     Third Dutch Specification Day
          University of Twente, Enschede, NL, 21 March 1996

   The full version of this announcement is available at URL:
   http://www.cs.utwente.nl/data/amast/links/v03/i01/full/AC0301MG.txt

  The theme of these Days is formal specification in computer science.
Both formal techniques and their application in practice are addressed.
  The program features four presentations by invited speakers. Material
relevant to the presentations will be handed out.
  *The program* (you find a few abstracts at the end of the full
version of this announcement):

10.00 - 10.30 : Welcome, coffee

10.30 - 11.30 : _Leslie Lamport_ (DEC Research):
              Specifying Systems: Some Impious Platitudes

11.30 - 12.30 : _Muffy Thomas_ (University of Glasgow):
    Formal Specification and Analysis in Safety-Critical Systems

12.30 - 13.45 : Lunch

13.45 - 15.45 : _Jean-Raymond Abrial_ (Independent consultant and
    researcher): Formal construction of the architecture of a software
    system, a case study with B.

15.45 - 16.15 : tea/coffee break

16.15 - 17.00 : _Klaas Wijbrans_ (CMG):
    The BOS project: practical experiences with formal specification.