Return-Path: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0) id <01871-0@swan.cl.cam.ac.uk>; Thu, 14 May 1992 13:08:18 +0100 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA10192; Thu, 14 May 92 05:01:15 -0700 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Received: from swan.cl.cam.ac.uk by ted.cs.uidaho.edu (16.6/1.34) id AA10188; Thu, 14 May 92 05:01:06 -0700 Received: from guillemot.cl.cam.ac.uk by swan.cl.cam.ac.uk with SMTP (PP-6.0) to cl id <01192-0@swan.cl.cam.ac.uk>; Thu, 14 May 1992 12:33:11 +0100 To: info-hol@edu.uidaho.cs.ted Cc: Tom.Melham@uk.ac.cam.cl Subject: Final Call for Registration : TPCD. Date: Thu, 14 May 92 12:33:07 +0100 From: Tom Melham Message-Id: <"swan.cl.ca.194:14.04.92.11.33.13"@cl.cam.ac.uk> The tutorials day of this conference will provide a good overview of mechanized formal methods for hardware design verification. There will also be an opportunity to see demonstrations of eight theorem provers: Nuprl, LP, Veritas-90, SDVS, OTTER, Boyer-Moore, HOL88, and ICL-HOL. Tom Melham TPCD Tutorials Chair ============================================================================== TPCD CONFERENCE 1992: THEOREM PROVERS IN CIRCUIT DESIGN: THEORY, PRACTICE AND EXPERIENCE June 22-24 , 1992, University of Nijmegen, The Netherlands ADVANCE PROGRAMME & CALL FOR REGISTRATION Supported by: - IFIP TC10/WG 10.2 and - the Dutch National Facility for Informatics (NFI) *FOCUS AND OBJECTIVES Formal methods and theorem proving technology are increasingly seen as important in the design of digital systems. The aim of this conference is to provide a forum for discussing the role of theorem provers in the design of digital systems. The topics of interest include the philosophy behind such tools, their design and development, their evolution, and their evaluation through use. Of equal importance is the migration path of a theorem proving tool and the associated technology into current digital engineering practice. The conference programme will start with a day of tutorial presentations on a variety of theorem provers and their associated design methodologies. This is followed by two days of presentations on current research in the area. The programme also includes invited lectures by four prominent researchers in the field of logic and machine-assisted verification. The intended audience includes workers in the field of hardware verification as well as practising digital designers. *INVITED SPEAKERS - Henk Barendregt, University of Nijmegen, NL - Mike Gordon, University of Cambridge, UK - Warren Hunt, Computational Logic Inc., US - Dave Musser, Rensselaer Polytechnic Inst.,US *PROGRAMME COMMITTEE Albert Camilleri (HP Labs UK), Luc Claesen (IMEC, Belgium), Ed Clarke (CMU,USA), Mike Fourman (Edinburgh Univ. ,UK), Joseph Goguen (Oxford Univ. ,UK), Allen Goldberg (Kestrel Institute, USA), Keith Hanna (Univ. of Kent, UK), Warren Hunt (CLInc, USA), Jeff Joyce (UBC Canada), Deepak Kapur (Albany SU,USA), Dave Musser (RPI, USA), Tobias Nipkow (TU Munich, FRG), Paolo Prinetto (Politechnico di Torino, Italy), Clive Pygott (RSRE, UK), David Shepherd (Inmos, UK), Joseph Sifakis (IMAG, France) *PROCEEDINGS The proceedings will be published in advance by North-Holland/Elsevier. *PROGRAMME ***Sunday, 21 June 1992 17:00 - 21:00 Early Registration at: Hotel Altea, Stationsplein 29, Nijmegen. (near the railway station) tel: 080-238888 ***Monday, 22 June 1992: TUTORIAL DAY 08:30 - 09:00 Registration and coffee 09:00 - 09:05 Opening remarks, Tom Melham 09:05 - 10:05 J. Staunstrup, S.J. Garland, J.V. Guttag: "Mechanized verification of circuit descriptions using the Larch Prover". 10:05 - 10:30 coffee 10:30 - 11:30 F.K. Hanna, N. Daeche: "The Veritas design logic". 11:30 - 12:30 P. Jackson, D. Basin: "Using Nuprl for hardware verification". 12:30 - 14:00 lunch 14:00 - 15:00 T. Margaria, P. Prinetto: "The OTTER theorem prover for the verification of circuit designs". 15:00 - 15:30 tea 15:30 - 16:30 W. Hunt, B. Young: "Hardware verification using the Boyer-Moore system". 16:30 - 17:30 B.H. Levy:"Using the State Delta Verification System (SDVS) for hardware verification". 17:30 - 18:30 demonstrations ***Tuesday, 23 June 1992 08:00 - 09:00 Registration and coffee 09:00 - 09:15 Introduction and welcome, Raymond Boute. 09:15 - 10:15 Invited talk, Warren Hunt: "The formalisation of a hardware description language". 10:15 - 10:30 coffee 10:30 - 11:15 D. Verkest, J. Vandenbergh, L. Claesen, H. De Man: "A description methodology for parameterised modules in the Boyer-Moore logic". 11:15 - 12:00 T. Margaria: "Hierarchical mixed-mode verification of complex FSMs described at the RT level". 12:00 - 13:30 lunch 13:30 - 14:30 Invited talk, Henk Barendregt: "Full formalization and computer manipulation of proofs". 14:30 - 15:15 K. Hanna, N. Daeche, G. Howells: "Implementation of the Veritas design logic". 15:15 - 15:45 tea 15:45 - 16:30 H.H. Lovengreen, J. Staunstrup:"Synchronous realisation of asynchronous computations". 16:30 - 17:15 D.J. Kinniment, A.M. Koelmans: "Modelling and verification of timing conditions with the Boyer-Moore prover". 19:00 Conference dinner: Doddendael Castle. ***Wednesday, 24 June 1992 09:00 - 10:00 Invited talk, Mike Gordon:"Experience with embedding hardware description languages in HOL". 10:00 - 10:30 coffee 10:30 - 11:15 J. Herbert: "Incremental design and formal verification of microcoded microprocessors". 11:15 - 12:00 H. Busch: "Transformational design in a theorem prover". 12:00 - 13:30 lunch 13:30 - 14:30 Invited talk, Dave Musser: "Tecton: a framework for specifying and verifying generic system components". 14:30 - 15:15 V. Stavridou, J.A. Goguen, A. Stevens, S.M. Eker, S.N. Alonefits, K.M. Hobley: "FUNNEL and 20BJ: Towards an integrated hardware design environment". 15:15 - 15:45 tea 15:45 - 16:30 M. Srivas, M. Bickford: "Verification of a fault-tolerant property of a multiprocessor system". 16:30 - 17:15 S. Bainbridge, A. Camilleri, R. Fleming: "Theorem proving as an industrial tool for system level design". 17:15 - 17:30 Closing remarks, Victoria Stavridou *ORGANIZING COMMITTEE General Chair: - Raymond Boute, Univerity of Nijmegen Programme Chair: - Victoria Stavridou, University of London Tutorials Chair: - Tom Melham, University of Cambridge Local Arrangements Chair: - Huub van Thienen, Harriet Reker, University of Nijmegen *CONFERENCE LOCATION University of Nijmegen, B-faculties Toernooiveld 1, Nijmegen, The Netherlands *ADDRESS FOR CORRESPONDENCE TPCD Conference 1992 c/o Harriet Reker University of Nijmegen Computer and Communication Systems Group P.O.Box 9010 6500 GL Nijmegen,The Netherlands Phones : +31-80-652217/2216 Fax : +31-80-553450 Telex : 48228 wina nl Email : germaine@cs.kun.nl ==============================CUT HERE =============================== ****** REGISTRATION FORM, TPCD Conference 1992 ****** _____________________________________________________ ** NOTE 1: payment made and form sent back before 15 April 1992: reduce the fee by 5 %. ** NOTE 2: for USA residents: they can pay in Dutch guilders by SWIFT, or in US dollars by enclosed cheque. See: "ONLY FOR USA RESIDENTS" and "PAYMENT, ONLY FOR USA RESIDENTS" Surname: ___________________________________________________________ Name: ___________________________________________________________ Affiliation:___________________________________________________________ Address: ___________________________________________________________ City: ___________________________________________________________ Postcode: ___________________________________________________________ Country: ___________________________________________________________ Phone: ___________________________________________________________ Fax: ___________________________________________________________ Email: ___________________________________________________________ Please choose one of the two possibilities: O I will attend only the Tutorial Day of the TPCD Conference 1992 on 22 June. I will pay the tutorial fee of Dfl. 250.-- (includes proceedings, one lunch and coffee) O I will attend the TPCD Conference 1992 on 22, 23 and 24 June (includes the Tutorial Day). I will pay the conference fee of Dfl. 700.-- (includes proceedings, three lunches, coffee and the conference dinner on Tuesday 23 June) O I will bring a poster for display. *PAYMENT: O I will pay the net amount of the fee in Dutch guilders by SWIFT to the following account: bank: CLBN-bank, Hertogstraat 130, Nijmegen, The Netherlands, acc.nr.: 23.12.47.834, name: KUN dir. B-fac., referring to: FN 5519 Signature:............................... Date:................. Send this registration form before 23 May 1992, to: TPCD Conference 1992 c/o Harriet Reker University of Nijmegen Computer and Communication Systems Group P.O. Box 9010 6500 GL Nijmegen The Netherlands ------------------------------CUT HERE-------------------------------- ****** ONLY FOR USA RESIDENTS ******: Surname: ___________________________________________________________ Name: ___________________________________________________________ Affiliation:___________________________________________________________ Address: ___________________________________________________________ City: ___________________________________________________________ Postcode: ___________________________________________________________ Country: ___________________________________________________________ Phone: ___________________________________________________________ Fax: ___________________________________________________________ Email: ___________________________________________________________ Please choose one of the two possibilities: O I will attend only the Tutorial Day of the TPCD Conference 1992 on 22 June. I will pay the tutorial fee of US$ 150 (includes proceedings, one lunch and coffee) O I will attend the TPCD Conference 1992 on 22, 23 and 24 June (includes the Tutorial Day). I will pay the fee of US$ 425 (includes proceedings, three lunches, coffee and the conference dinner on Tuesday 23 June), O I will bring a poster for display. ****** PAYMENT, ONLY FOR USA RESIDENTS ******: O I will pay the net amount of the conference fee in US dollars by enclosed cheque, made payable to: name: KUN dir. B-fac., Toernooiveld, Nijmegen, the Netherlands referring to: FN 5519 Signature:............................... Date:................. Send this registration form before 23 May 1992, to: TPCD Conference 1992 c/o Harriet Reker University of Nijmegen Computer and Communication Systems Group P.O. Box 9010 6500 GL Nijmegen The Netherlands ==============================CUT HERE =============================== ****** HOTEL RESERVATION FORM, TPCD Conference 1992 ****** __________________________________________________________ Please type or write in block letters. Please tick the squares as appropriate. Surname:____________________________________________________________________ First name or initials:_______________________________________________________ Address:____________________________________________________________________ City:_______________________________________________________________________ Postcode:___________________________________________________________________ Country:____________________________________________________________________ Please make the following arrangements: (prices per night) 1st class: 2nd class: O Single room: O f 130,- O f 85,- O Double room: O f 160,- O f 110,- Date of arrival:................................. Date of departure:............................... *PAYMENT: Please choose one of the two possibilities: O I will pay the net amount in Dutch guilders by SWIFT to the following account: bank: ABN/Amro Nijmegen, the Netherlands, acc.nr.: 43.41.31.105, name:VVV Congres Office Nijmegen, referring to: TPCD Conference 1992 O I will pay the net amount in Dutch guilders by enclosed cheque, made payable to: name:VVV Congres Office Nijmegen, referring to: TPCD Conference 1992 Signature:............................... Date:................. ------------------------------CUT HERE-------------------------------- *NOTE: To be sure of a room, this reservation form must be returned and payment made as soon as possible. Reservations can be made only when the total amount has been received. Send this hotel reservation form as soon as possible, to: VVV Congres Office Nijmegen c/o Paulien Aaldering P.O. Box 175 6500 AD Nijmegen The Netherlands Telephone: +31-80-225446 Telefax: +31-80-601429 ---------------------------------------------------------------------------