Colloquium announcement (Wed. Aug. 1)

Thread View: general

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Jeffery I. Zucker Thu, 26 Jul 1984 18:57

#345

Author: Jeffery I. Zucker
Date: Thu, 26 Jul 1984 18:57

25 lines
1161 bytes

        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

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads