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