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; Wed, 13 Jul 1994 11:01:55 +0100 Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA03440; Wed, 13 Jul 1994 03:30:06 -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 AA03413; Wed, 13 Jul 1994 03:28:55 -0600 Received: from irafs1.ira.uka.de by dworshak.cs.uidaho.edu with SMTP (1.37.109.8/16.2) id AA02462; Wed, 13 Jul 1994 02:25:36 -0700 Received: from irafs2.ira.uka.de (actually irafs2) by irafs1 with SMTP (PP); Wed, 13 Jul 1994 11:20:36 +0200 Received: from i80s37.ira.uka.de by irafs2.ira.uka.de with SMTP (PP) id <28593-0@irafs2.ira.uka.de>; Wed, 13 Jul 1994 11:24:41 +0200 To: info-hol@cs.uidaho.edu, lambda-usergroup@dcs.ed.ac.uk, theorem-provers@mc.lcs.mit.edu, isabelle-users@cl.cam.ac.uk Subject: TPCD94 Preliminary Prgramme From: Thomas Kropf Organization: Universitaet Karlsruhe Postal-Address: IRF, Kaiserstrasse 12, D-76128 Karlsruhe, Germany Telecom: phone +49-721-608 4220, fax +49 721 370 455 Location: Karlsruhe (Germany) Date: Wed, 13 Jul 1994 11:27:08 +0200 Message-Id: <"irafs2.ira.606:13.06.94.09.25.03"@ira.uka.de> A preliminary programme and other information about the ** 2nd Int. Conference on Theorem Provers in Circuit Design (TPCD94) ** ** 26.-28. September 1994, Bad Herrenalb (Blackforest, Germany) ** can be found at the WWW page http://goethe.ira.uka.de/tpcd94/ The final programme and registration information will appear here at the beginning of next week. Please accept our apologies for any multiple copies due to overlapping mailing lists. Thomas Kropf -- Thomas Kropf Institut fuer Rechnerentwurf und Fehlertoleranz Universitaet Karlsruhe, Kaiserstr. 12, D-76128 Karlsruhe, Germany email: kropf@informatik@uni-karlsruhe.de FAX: +49 721 370 455 Tel.: +49 721 608 4220