[ont.events] Colloquium announcement

zucker@sunybcs.UUCP (Jeffery I. Zucker) (05/08/84)

        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

                       MALCOLM  ATKINSON

                (University of Pennsylvania)

                             on

                          PS-ALGOL
   A LANGUAGE WITH AN ORTHOGONAL TREATMENT OF PERSISTENCE

                    Friday, May 11, 1984
                         4:00 p.m.
               338 Bell Hall, Amherst Campus

Coffee and doughnuts will be served at 3:30 in 251 Bell Hall

     For more information, phone (716) 636-3181

zucker@gloria.UUCP (Jeffery I. Zucker) (05/18/84)

        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

                     KRISHNA  KULKARNI

                 (University of Edinburgh)

                             on

            EVALUATION OF FUNCTIONAL DATA MODELS
                FOR DATA BASE DESIGN AND USE

                       Monday, May 21
                         4:00 p.m.
               338 Bell Hall, Amherst Campus

Coffee and doughnuts will be served at 3:30 in 251 Bell Hall

         For more information, phone (716) 636-3181

zucker@gloria.UUCP (Jeffery I. Zucker) (06/05/84)

        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

                          K.  WOHN

                  (University of Maryland)

                             on

CONTOUR EVOLUTION, A NEIGHBORHOOD DEFORMATION AND IMAGE FLOW

                       Friday, June 8
                         4:00 p.m.
               338 Bell Hall, Amherst Campus

Coffee and doughnuts will be served at 3:30 in 251 Bell Hall

         For more information, phone (716) 636-3181

zucker@gloria.UUCP (Jeffery I. Zucker) (06/13/84)

        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

                      JACO  DE  BAKKER

  (Center for Mathematics and Computer Science, Amsterdam)

                             on

 MATHEMATICAL FOUNDATIONS FOR THE SEMANTICS OF CONCURRENCY

                      Tuesday, June 19
                         4:00 p.m.
               338 Bell Hall, Amherst Campus

Coffee and doughnuts will be served at 3:30 in 251 Bell Hall

         For more information, phone (716) 636-3181

zucker@gloria.UUCP (Jeffery I. Zucker) (07/26/84)

        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