Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 9/18/84; site cbosgd.UUCP
Path: utzoo!watmath!clyde!cbosgd!marek@ukma.UUCP (Wiktor Marek)
From: marek@ukma.UUCP (Wiktor Marek)
Newsgroups: net.announce
Subject: Workshop Announcement on Logic and Computer Science, in Lexington, KY
Message-ID: <578@cbosgd.UUCP>
Date: Wed, 12-Dec-84 14:53:13 EST
Article-I.D.: cbosgd.578
Posted: Wed Dec 12 14:53:13 1984
Date-Received: Thu, 13-Dec-84 02:34:02 EST
Sender: mark@cbosgd.UUCP
Organization: Bell Labs, Columbus
Lines: 53
Approved: mark@cbosgd.UUCP

---
                    FIRST COMMUNICATION


                        Workshop on


                 LOGIC AND COMPUTER SCIENCE


               Lexington,KY, June 9-14 1984.



     In the first half of June 1985 a workshop on Logic  and
Computer Science will take place in Lexington, Kentucky.

     The workshop will take 4 and 1/2 working days.

     The workshop will cover those parts of Computer Science
where  an  active part is played by logic-inclined research-
ers, in particular:

                   Theory of Computation
                    Theory of Databases
                  Artificial Intelligence
        Theory of Operating Systems (Temporal Logic)
                    Program Verification
                     Logic Programming

All the inqueries should be sent to:

                 Logic and Computer Science
               Department of Computer Science
                   University of Kentucky
                 Lexington, KY, 40506-0027
                       (606) 257-3961
or:


    Logic and Computer Science
    ARPA:  "ukma!logic-and-cs"@ANL-MCS   (Note the quote marks.)
    UUCP->  unmvax -----------\
    UUCP->  research ----------\____ !anlams --\
    UUCP->  boulder -----------/                >-!ukma!logic-and-cs
    UUCP->  decvax!ucbvax ----/                /
                       cbosgd!hasmed!qusavx --/


                 Organizational Committee:
          Forbes Lewis  Wiktor Marek  Anil Nerode

Lexington, December 1984