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!burl!ulysses!mhuxr!ihnp4!cbosgd!ukma!marek From: marek@ukma.UUCP (Wiktor Marek) Newsgroups: net.ai,net.general Subject: Logic and Computer Science workshop Message-ID: <1258@ukma.UUCP> Date: Mon, 11-Mar-85 13:32:50 EST Article-I.D.: ukma.1258 Posted: Mon Mar 11 13:32:50 1985 Date-Received: Tue, 12-Mar-85 23:04:12 EST Organization: Univ. of KY Mathematical Sciences Lines: 203 Xref: watmath net.ai:2604 net.general:4308 SECOND COMMUNICATION and CALL FOR PAPERS LOGIC AND COMPUTER SCIENCE Lexington,KY, June 9-14 1984. 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 The list of invited speakers includes: K.R.Apt (Paris VII - I.B.M.), P.Clote (Boston C.), R.Fagin (I.B.M. San Jose) T.Imielinski (Rutgers U.), V.Lifschitz (San Jose State U.), J.Minker (Maryland), R.Reiter (British Columbia), R.Smith (U. of Florida), S.Szpakowicz (U. of Kentucky) and M.Vardi (Stanford). Besides of the invited lectures there will be sessions for contibuted papers. Those interested should send three copies of an extended abstract to the conference address. Due to the stipend of the National Science Foundation, a number of stipends for participants will be available. Those interested please write to the address below, graduate students please include letters from advisors. Interested in participation should write to: Logic and Computer Science Department of Computer Science University of Kentucky Lexington, KY, 40506-0027 (606) 257-3961 or: Logic and Computer Science 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, February 1984 9 9 9 9 Name:_______________________ Institution:_________________________________ Position:_______________________________ I intend (do not intend) to attend the meeting. I intend (do not intend) to present a contributed talk. I need (do not need) financial assistance in order to be able to attend.