taylor@hplabsc.UUCP (02/09/87)
- - 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)