cliff@ipse2pt5.uucp (Cliff Jones) (03/15/90)
The 3rd VDM Symposium will take place at Kiel University (Germany)
from April 17-21.
Prime contact is (e-mail): nip59@rz.uni-kiel.dbp.de
(also possible source of info is the PC Chairman: vdm@iddth.dk)
The proceedings of the 2 previous conferences are available:
@book{VDM87,
editor = "D. {Bj\o rner} and C.B. Jones and
M. {Mac an Airchinnigh} and E.J. Neuhold",
title = "VDM---A Formal Definition at Work",
publisher = "Springer-Verlag",
year = 1987,
volume = 252,
series = "Lecture Notes in Computer Science"
}
@book{VDM88,
editor = "R. Bloomfield and R. B. Jones and
L. S. Marshall",
title = "VDM '88: VDM -- The Way Ahead",
publisher = "Springer-Verlag",
address = "Berlin",
year = 1988,
volume = 328,
series = "Lecture Notes in Computer Science"
}
A feature of this year's event is that "Z" is specifically included.
Cliff Jones