[S2.CHB%ISUMVS.BITNET@MITVMA.MIT.EDU: Algebraic Logic and Universal Algebra in Computer Science]

To: types@THEORY.LCS.MIT.EDU, logic@THEORY.LCS.MIT.EDU
Subject: [S2.CHB%ISUMVS.BITNET@MITVMA.MIT.EDU: Algebraic Logic and Universal Algebra in Computer Science]
From: Albert R. Meyer <meyer@THEORY.LCS.MIT.EDU>
Date: Fri, 6 Nov 87 14:02:42 est

Date:         6 Nov 1987 10:57:25-EST (Friday)
Reply-To:     TheoryNet List <THEORYNT%NDSUVM1.BITNET@MITVMA.MIT.EDU>
Sender: TheoryNet List <THEORYNT%NDSUVM1.BITNET@MITVMA.MIT.EDU>
Comments:     Warning -- original Sender: tag was THEORYNT@YKTVMX
From: Cliff Bergman <S2.CHB%ISUMVS.BITNET@MITVMA.MIT.EDU>
Subject:      Algebraic Logic and Universal Algebra in Computer Science
To: Local Distribution <THEORY@MC.LCS.MIT.EDU>

                     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