Path: utzoo!utgpu!news-server.csri.toronto.edu!mailrus!cs.utexas.edu!uunet!mcsun!ukc!mucs!ipse2pt5!cliff
From: cliff@ipse2pt5.uucp (Cliff Jones)
Newsgroups: comp.specification
Subject: Re: VDM'90 Conference
Message-ID: <1084@m1.cs.man.ac.uk>
Date: 15 Mar 90 10:53:27 GMT
References: <34462@news.Think.COM>
Sender: news@cs.man.ac.uk
Reply-To: cliff@ipse2pt5.UUCP (Cliff Jones)
Organization: University of Manchester, UK
Lines: 35

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