Return-Path: Delivery-Date: Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Mon, 27 Dec 1993 21:58:38 +0000 Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA08921; Mon, 27 Dec 1993 13:46:16 -0700 Sender: info-hol-request@leopard.cs.byu.edu Errors-To: info-hol-request@leopard.cs.byu.edu Precedence: bulk Received: from panther.cs.byu.edu by leopard.cs.byu.edu with SMTP (1.37.109.8/16.2) id AA08917; Mon, 27 Dec 1993 13:46:16 -0700 Received: from localhost by panther.cs.byu.edu with SMTP (1.37.109.8/16.2) id AA06980; Mon, 27 Dec 1993 13:45:34 -0700 To: info-hol@leopard.cs.byu.edu Subject: New items in the HOL Information Server Date: Mon, 27 Dec 1993 13:45:34 -0700 From: Phil Windley Message-ID: <"swan.cl.cam.:274370:931227215921"@cl.cam.ac.uk> The following new information is now available on the HOL information server (http://lal.cs.byu.edu/hol-documentation.html): o HOL94 Call for Papers o Technical Report links for BYU, Cambridge, Karlsruhe, MITRE, Pernambuco, and ICL. (Send me your Tech Report FTP directory if you want to be added.) o John Harrison's proof that \(a^4 + b^4 \not= c^4\) for a>0 or b>0. Coming next month: An online hardware verification course---follow along with my graduate class here at BYU. Topics cover introduction to HOL, using HOL to specify and verify hardware, microprocessor verification. Happy Holidays! --phil-- Phillip J. Windley, Asst. Professor | windley@cs.byu.edu Laboratory for Applied Logic | Dept. of Computer Science, TMCB 3370 | Brigham Young University | Phone: 801.378.3722 Provo UT 84602-6576 | Fax: 801.378.7775