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