Article View: sci.logic
Article #1018TPCD94 Programme and Registration
From: ThomasKropf
Date: Wed, 20 Jul 1994 14:49
Date: Wed, 20 Jul 1994 14:49
16 lines
1834 bytes
1834 bytes
-- Thomas Kropf Institut fuer Rechnerentwurf und Fehlertoleranz Universitaet Karlsruhe, Kaiserstr. 12, D-76128 Karlsruhe, Germany email: kropf@ira.uka.de FAX: +49 721 370 455 Tel.: +49 721 608 4220 ************************************************************************** * * * 2nd Int. Conference on Theorem Provers in Circuit Design (TPCD94) * * 26.-28. September 1994, Bad Herrenalb (Blackforest, Germany) * * * * For more informations see http://goethe.ira.uka.de/tpcd94/ * * or send email to kropf@ira.uka.de * * * **************************************************************************
Technical Details
Message-ID:
<30jdieINN4mk@iraun1.ira.uka.de>Path:
arc1-ca.pugleaf.net!nntp.gmd.de!xlink.net!ira.uka.de!i80s37!kropfShow Full Headers
Complete Article Headers
X-Google-Language: GERMAN,ASCII-7-bit X-Google-Thread: 10cc56,a8cbb7cfc785eb77,start X-Google-Attributes: gid10cc56,public X-Google-Thread: fdcf7,a8cbb7cfc785eb77,start X-Google-Attributes: gidfdcf7,public X-Google-Thread: f8362,a8cbb7cfc785eb77,start X-Google-Attributes: gidf8362,public X-Google-Thread: 109e85,a8cbb7cfc785eb77,start X-Google-Attributes: gid109e85,public X-Google-Thread: 1066f9,a8cbb7cfc785eb77,start X-Google-Attributes: gid1066f9,public X-Google-ArrivalTime: 1994-07-20 07:50:08 PST Path: arc1-ca.pugleaf.net!nntp.gmd.de!xlink.net!ira.uka.de!i80s37!kropf From: kropf@i80s37.ira.uka.de (ThomasKropf) Newsgroups: sci.logic,comp.theory,comp.lsi.cad,comp.specification,eunet.esprit Subject: TPCD94 Programme and Registration Date: 20 Jul 1994 14:49:50 GMT Organization: University of Karlsruhe, FRG Lines: 18 Distribution: world Message-ID: <30jdieINN4mk@iraun1.ira.uka.de> NNTP-Posting-Host: i80s37.ira.uka.de