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