Return-Path: Return-Path: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0) id <23066-0@swan.cl.cam.ac.uk>; Tue, 14 Jan 1992 18:52:21 +0000 Received: by ted.cs.uidaho.edu.cs.uidaho.edu (16.6/1.34) id AA15017; Tue, 14 Jan 92 10:18:07 -0800 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Received: from aerospace.aero.org by ted.cs.uidaho.edu.cs.uidaho.edu (16.6/1.34) id AA14981; Tue, 14 Jan 92 10:17:52 -0800 Received: from uniblab.aero.org by aerospace.aero.org with SMTP (5.65+/6.0.GT) id AA24849 for info-hol@ted.cs.uidaho.edu; Tue, 14 Jan 92 10:17:15 -0800 Posted-Date: Tue, 14 Jan 92 10:20:58 PST Received: from superman by uniblab.aero.org (4.1/SMI-4.1) id AA07398; Tue, 14 Jan 92 10:20:58 PST Date: Tue, 14 Jan 92 10:20:58 PST From: homeier@org.aero.uniblab (Peter Homeier) Message-Id: <9201141820.AA07398@uniblab.aero.org> To: info-hol@edu.uidaho.cs.ted Subject: HOL mailing list Cc: dmartin@edu.ucla.cs.lanai, homeier@edu.ucla.cs.lanai Hello! I am a graduate student at UCLA, getting my Ph.D. in Computer Science. I am currently working on my dissertation in software verification, and I am using HOL heavily. Would you please put my name on the mailing list for HOL? My email address is homeier@lanai.cs.ucla.edu Full name and address: Peter Vincent Homeier 4449 Tyrone Avenue Sherman Oaks, CA 91423 (818) 501-7689 Thank you very much! Peter