Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!watmath!clyde!rutgers!sri-unix!hplabs!hplabsc!taylor
From: taylor@hplabsc.UUCP
Newsgroups: mod.conferences
Subject: Symposium on the Vienna Development Method
Message-ID: <1264@hplabsc.HP.COM>
Date: Sun, 8-Feb-87 16:53:15 EST
Article-I.D.: hplabsc.1264
Posted: Sun Feb  8 16:53:15 1987
Date-Received: Mon, 9-Feb-87 04:44:53 EST
Expires: Mon, 23-Mar-87 03:00:00 EST
Sender: taylor@hplabsc.HP.COM
Distribution: world
Organization: Manchester College, England
Lines: 14
Keywords: formal methods, formal specification, VDM
Approved: taylor@hplabs
Location: Brussels, Belgium

- -
                   Symposium on the Vienna Development Method
                               Brussels, Belgium
                             March 23rd-26th, 1987
                                        
			     Sponsored by the EEC

TUTORIAL: the first day will be a tutorial on VDM
A FORMAL METHOD AT WORK: is the theme of the papers ond the following 3 days.
      It will include papers both on recent developments and on Industrial
      Applications of this well-known formal development method.

For futher information, please contact:
K. de Vriendt (EEC) telephone: ++32/2/2357769 (telex: 21877 comeu b)