Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.4) outside ac.uk; Fri, 2 Apr 1993 22:06:59 +0100 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA19111; Fri, 2 Apr 93 12:56:51 -0800 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Precedence: bulk Received: from panther.cs.uidaho.edu by ted.cs.uidaho.edu (16.6/1.34) id AA19106; Fri, 2 Apr 93 12:56:46 -0800 Received: from localhost by panther.cs.uidaho.edu with SMTP id AA05145 (5.65c/IDA-1.4.4 for info-hol@cs.uidaho.edu); Fri, 2 Apr 1993 13:06:48 -0800 Message-Id: <199304022106.AA05145@panther.cs.uidaho.edu> To: info-hol@edu.uidaho.cs.ted Subject: CFP: 5th NASA Symposium on VLSI Design Date: Fri, 02 Apr 93 13:06:47 -0800 From: Phil Windley X-Mts: smtp The Fifth Annual NASA Symposium on VLSI Design will be held in Albuquerque NM, USA on November 4 and 5, 1993. The symposium is jointly sponsored by the IEEE and NASA and is run by the NASA Space Engineering Research Centers for VLSI Design at the University of Idaho and the University of New Mexico. One of the topics of interest is reliable circuit design, testing, and fabrication. Over the past several years, Tom Schubert, myself, and a few others have coopted one of the sessions for presentation on Formal Methods. I invite others involved in FM in Hardware Design to join us this Fall in Albuquerque. Prospective authors are invited to submit 4 copies of a 70-75 word abstract plus a 500 word summary. The summary should include author's name(s), address(es), affiliation(s), telephone, and fax number(s). the paper's technical area, and the author's e-mail address. The deadlines are: Summaries and proposals: June 18, 1993 Notification of Acceptance: August 1, 1993 Final manuscript due: September 1, 1993 Summary submissions should go to: Sterling Whitaker, Program Chair NASA SERC 2650 Yale SE, Suite #101, Albuquerque NM 87106 505.277.9714 (voice) 505.277.9719 (fax) swhitaker@groucho.mrc.unm.edu If you'd like more information, feel free to send e-mail to me. --phil--