Third Dutch Specification Day
University of Twente, Enschede, NL, 21 March 1996
The
full version
of this announcement is available.
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.