🚀 go-pugleaf

                      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)