🚀 go-pugleaf

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