🚀 go-pugleaf

   
dsd

Dear Dr. Knaggs,

I have read your message on Z-forum, and am very interested in your
paper.  I would have liked to attend that conference in Nantes, but
unfortunately it clashed with the submission of my M.Sc.

I am just starting my Ph.D. here at Cambridge.  I haven't sorted out
the exact area that I will be working in as yet, but it will be to
do mainly with integrating structural design and formal methods 
(specifically Z), and theorem provers (Isabelle).  As my M.Sc. dealt
with real-time systems, I am thinking of looking in particular at
how combinations of the above could be used in reactive systems.

Your paper would therefore be of great interest to me.  Would it
be possible to get a LaTeX copy of it; or will the proceedings be
published in the near future?

Thank you for your time.

Regards,

-- Mike.
.

-----------------------------------------------------------------------------
Michael G. Hinchey

University of Cambridge Computer Laboratory,		St. John's College,
New Museums Site,					CAMBRIDGE,
Pembroke Street,					CB2 1TP,
CAMBRIDGE,						England.
CB2 3QG,
England.


	Voice	: +44-223-332400	(Laboratory)
		  +44-223-334420	(Direct)

	Fax	: +44-223-334678

	e-mail	: Michael.Hinchey@cl.cam.ac.uk
		  HINCHEYM@ul.ie
		  hincheym@itdsrv1.ul.ie