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