[Search for users] [Overall Top Noters] [List of all Conferences] [Download this site]

Conference turris::decspec

Title:	DECspec

Moderator:	TLE::WILD

Created:	Tue Apr 16 1991
Last Modified:	Thu Dec 02 1993
Last Successful Update:	Fri Jun 06 1997
Number of topics:	35
Total number of notes:	103

28.0. "Formal-methods event announcements" by RICKS::LEONARD (Tim Leonard, Cantab) Tue May 28 1991 11:15

T.R	Title	User	Personal Name	Date	Lines
28.1	Proof club	RICKS::LEONARD	Tim Leonard, Cantab	`Tue May 28 1991 11:18`	117
28.2	Proof club inaugural meeting	RICKS::LEONARD	Tim Leonard, Cantab	`Mon Jun 03 1991 09:55`	129
28.3	Advanced Z Proof Course at Oxford U.	COOKIE::WALLACE	CXN1/4, D523-2793, TNSG/ING	`Thu Jun 06 1991 11:54`	294