From mjcg%cam.sri.com@ai.sri.com  Mon Apr 30 10:49:14 1990
Received: by iris.ucdavis.edu (5.57/UCD.EECS.2.0)
        id AA07666; Mon, 30 Apr 90 10:49:14 PDT
Received: from Warbucks.AI.SRI.COM by clover.ucdavis.edu (5.59/UCD.EECS.1.11)
        id AA27627; Mon, 30 Apr 90 10:54:11 PDT
Received: from Sunset.AI.SRI.COM by Warbucks.AI.SRI.COM with INTERNET ;
          Mon, 30 Apr 90 08:29:20 PDT
Received: from cam.sri.com by Sunset.AI.SRI.COM (4.1/4.16)
        id AA10011 for info-hol@clover.ucdavis.edu; Mon, 30 Apr 90 08:29:37 PDT
Received: from denbigh.cam.sri.com by cam.sri.com (4.1/4.16)
        id AA29143 for info-hol@clover.ucdavis.edu; Mon, 30 Apr 90 16:29:39 BST
Received: by denbigh.cam.sri.com (4.1/4.16)
        id AA27709 for info-hol@clover.ucdavis.edu; Mon, 30 Apr 90 16:29:34 BST
Date: Mon, 30 Apr 90 16:29:34 BST
From: mjcg%cam.sri.com@Warbucks.AI.SRI.COM (Mike Gordon)
Message-Id: <9004301529.AA27709@denbigh.cam.sri.com>
To: info-hol@clover.ucdavis.edu
Subject: Names and addresses wanted


Polly Courtice, Director of Marketing (Advanced Programme for
Industry) of The University of Cambridge Board of Extra-mural Studies
has asked me to supply names of individuals, companies and other
organizations who are interested in hearing about courses offered by
the University in the area of formal methods. They are planning, for
example, to offer courses in program verification and hardware
verification taught by staff of the Computer Laboratory (e.g. me and
others). These courses are intended to appeal mainly to industry.

If you would like to hear about such forthcoming courses send me email
and I will pass the details to Polly.

Mike


