marek@ukma.UUCP (Wiktor Marek) (12/11/84)
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