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; Tue, 5 Apr 1994 19:56:31 +0100 Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA27824; Tue, 5 Apr 1994 12:27:01 -0600 Sender: info-hol-request@lal.cs.byu.edu Errors-To: info-hol-request@lal.cs.byu.edu Precedence: bulk Received: from dworshak.cs.uidaho.edu by leopard.cs.byu.edu with SMTP (1.37.109.8/16.2) id AA27816; Tue, 5 Apr 1994 12:24:14 -0600 Received: from mirtillo.usr.dsi.unimi.it by dworshak.cs.uidaho.edu with SMTP (1.37.109.8/16.2) id AA15171; Tue, 5 Apr 1994 11:25:01 -0700 Received: by mirtillo.usr.dsi.unimi.it (NeXT-1.0 (From Sendmail 5.52)/NeXT-2.0) id AA12263; Tue, 5 Apr 94 19:09:30 GMT+0100 From: matteo@mirtillo.usr.dsi.unimi.it (Matteo Vaccari) Message-Id: <9404051809.AA12263@ mirtillo.usr.dsi.unimi.it > Subject: HOL summer school, anywhere? To: info-hol@cs.uidaho.edu Date: Tue, 5 Apr 94 19:09:29 MET X-Mailer: ELM [version 2.3 PL11] Hi all, I'd like to know if there is any summer school or course about the use of the HOL system, especially in conjunction with hardware verification. I am also interested in courses about hardware verification in general. Thank you! Matteo -- Matteo Vaccari tel. +39-2-55006347 Dipartimento di Informatica fax. +39-2-55006348 Universita` di Milano e-mail: vaccari@ghost.unimi.it via Comelico 39, 20135 Milano, Italy.