Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.1 6/24/83; site ukma.UUCP
Path: utzoo!watmath!clyde!cbosgd!hasmed!qusavx!ukma!marek
From: marek@ukma.UUCP (Wiktor Marek)
Newsgroups: net.ai,net.general
Subject: Logic-and-Computer Science meeting
Message-ID: <374@ukma.UUCP>
Date: Mon, 10-Dec-84 16:18:51 EST
Article-I.D.: ukma.374
Posted: Mon Dec 10 16:18:51 1984
Date-Received: Thu, 13-Dec-84 02:33:24 EST
Organization: Univ. of KY Mathematical Sciences
Lines: 132
Xref: watmath net.ai:2428 net.general:4166








                    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