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