[ut.theory] THEORY NET: Algebraic Logic and Universal Algebra in Computer Science

arvind@utcsri.UUCP (11/09/87)

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