From elsa@com.att.research Wed Dec 12 23:17:01 1990
Received: from [+JANET.000040010160/FTP.MAIL] by eagle.eng.warwick.ac.uk; Wed, 12 Dec 90 23:16:59 GMT
Received: from vax.nsfnet-relay.ac.uk by sun2.nsfnet-relay.ac.uk
          with SMTP inbound id <15876-23@sun2.nsfnet-relay.ac.uk>;
          Wed, 12 Dec 1990 22:21:47 +0000
Received: from iris.ucdavis.edu by vax.NSFnet-Relay.AC.UK via NSFnet with SMTP
          id aa19400; 12 Dec 90 22:15 GMT
Received: by iris.eecs.ucdavis.edu (5.57/UCD.EECS.3.0) id AA12009;
          Wed, 12 Dec 90 14:11:38 -0800
Message-Id: <9012122211.AA12009@iris.eecs.ucdavis.edu>
From: elsa@com.att.research
Date: Wed, 12 Dec 90 17:10:47 EST
To: info-hol@edu.ucdavis.iris
Status: R

Dear Fellow HOL Users Group Speaker:
  More than half of you have not yet sent me a one page summary of your
talk, or at least I have not received it.  If I do not receive one by
Monday, 17 December, I shall post the paragraph description you gave
of your talk before the meeting.  As a reminder my email address is
                        elsa@research.att.com

I have not yet heard from the following people:

Mike Gordon {Recent developments in the HOL world.}
Tom Melham {A short overview of Version 1.12 of the system.}
R.D. Artman {A High-Assurance Implementation of HOL.}
Myla M. Archer {A Tree-editor Interface to HOL.}
Malcolm Newey {Another Iteration in Arithmetic.}
Tom Melham {A Mechanized Theory of the Pi-calculus in HOL.}
Flemming Andersen {A Definitional Theory of UNITY in HOL.}
Kim Dam Petersen {Construction of the P(omega) lambda calculus model in  HOL.}
Vim Ploegaerts {HOL theory for finite word length arithmetic.}
Jeff Joyce {More Reasons Why Higher-Order Logic is a Good Formalism
            for Specifying.}
Aarhus students {A low-level circuit model in HOL.}
Ton Kalker {HOL Semantics of SILAGE.}

