knuutila@tucos.UUCP (Timo Knuutila) (04/28/89)
ALTERNATIVES OF LOGIC PROGRAMMING
Kuopio, May 22-25 1989
In connection with the Special Year on Theoretical Computer Science of the
Rolf Nevanlinna Institute, a workshop on "Alternatives of Logic Programming"
will be organized in Kuopio, Finland, on May 22-25, 1989. The invited
lectures (some 4 hours each) include
Luis Farinas del Cerro:
From automatic deduction to logic programming in modal logic
Jan Komorowski:
Partial evaluation of logic programs
Kurt Konolige:
Autoepistemic semantics for negation-as-failure in Prolog
Jean-Louis Lassez:
Constraint logic programming
Ewa Orlowska:
Logics for knowledge representation; Relational interpretation of modal
logics; Dynamic logic with program specifications
The workshop is intended for PhD students and researchers. Participants are
encouraged to give talks in "wild cat sessions".
The workshop will take place in Pohjois-Savon Kansanopisto, 10 km south of
Kuopio. There is no participation fee, but full boarding in the college costs
540 FIM (approximately 130 USD) from Monday to Thursday in double rooms. A
limited number of participants can still be accepted. If you are interested
in participating, please urgently contact
Martti Penttonen
Computer Science Department
University of Kuopio
P.O.Box 6
70211 Kuopio, Finland
penttonen@finkuo.bitnet
tel. (+358 71) 162560
(home +358 71 227878)