Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Posting-Version: version B 2.10.1 6/24/83; site gloria.UUCP Path: utzoo!watmath!sunybcs!gloria!zucker From: zucker@gloria.UUCP (Jeffery I. Zucker) Newsgroups: general,wny.events,ont.events Subject: Colloquium announcement (Wed. Aug. 1) Message-ID: <403@gloria.UUCP> Date: Thu, 26-Jul-84 14:57:27 EDT Article-I.D.: gloria.403 Posted: Thu Jul 26 14:57:27 1984 Date-Received: Mon, 30-Jul-84 00:12:16 EDT Organization: SUNY/Buffalo Computer Science Lines: 26 U N I V E R S I T Y A T B U F F A L O C O M P U T E R S C I E N C E D E P A R T M E N T C O L L O Q U I U M You are invited to attend a lecture by J. V. TUCKER (University of Leeds, England) on HOARE LOGIC, VERIFICATION AND AXIOMATIC SEMANTICS Wednesday, August 1 4:00 p.m. 224 Bell Hall, Amherst Campus Coffee and bagels will be served at 3:30 in 251 Bell Hall For more information, phone (716) 636-3181