Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!utgpu!utcsri!arvind
From: arvind@utcsri.UUCP
Newsgroups: ut.theory
Subject: THEORY NET: Algebraic Logic and Universal Algebra in Computer Science
Message-ID: <5639@utcsri.UUCP>
Date: Mon, 9-Nov-87 14:06:38 EST
Article-I.D.: utcsri.5639
Posted: Mon Nov  9 14:06:38 1987
Date-Received: Tue, 10-Nov-87 02:37:13 EST
Distribution: ut
Organization: CSRI, University of Toronto
Lines: 23

Date:         6 Nov 1987 10:57:25-EST (Friday)
From: Cliff Bergman <S2.CHB@isumvs>
Subject:      Algebraic Logic and Universal Algebra in Computer Science

                     Conference Announcement
     
Title:    Algebraic Logic and Universal Algebra in Computer
          Science
     
Place:    Iowa State University, Ames, Iowa, 50011
     
Dates:    Wed. June 1--Sat. June 4, 1988
     
Focus:    Algebraic Specification of Data Types
          Relational Database Theory
          Logic of Programs
          Specification of Programming Languages
     
Confirmed Speakers:  Joel Berman, Bjarni Jonsson, Dexter Kozen,
                    Istvan Nemeti, Vaughan Pratt
     
Information:   Cliff Bergman, at the above address or
               S2.CHB@ISUMVS.BITNET