From: vilo@cs.Helsinki.FI (Jaak Vilo)
Newsgroups: comp.theory,comp.lang.prolog,comp.lang.functional,nordunet.dcom.baltics
Subject: CFP: PLILP93 Programming Language Implementation and Logic Programming
Date: 25 Jan 1993 12:28:10 +0200
Organization: University of Helsinki, Department of Computer Science
Distribution: inet
NNTP-Posting-Host: hydra.helsinki.fi




				P L I L P '  9 3

                          	CALL FOR PAPERS                               
                         Fifth International Symposium on
                      Programming Language Implementation 
                             and Logic Programming                            
                        	Tallinn, Estonia                               
                               August 25-27, 1993                              


     Following previous meetings in Orleans, Linkoping, Passau and Leuven, the 
Fifth International Symposium on Programming Language Implementation and Logic 
Programming will be held in  Tallinn.  The  intention  is  to  bring  together 
researchers from the fields  of  logic  programming,  algorithmic  programming 
languages, functional programming and object-oriented programming. The aim  of 
the symposium is to explore new declarative concepts, methods  and  techniques 
relevant for implementation of all kinds  of  programming  languages,  whether 
algorithmic or declarative. The  topics  of  interest  include,  but  are  not 
restricted, to the following:

	PROGRAM AREAS
     Declarative implementation techniques
     Implementation of declarative concepts and modules
     Executable specifications
     Compiler specification and construction
     Program transformation
     Programming environments for declarative languages
     Constraint programming
     Amalgamation of logic programming with algorithmic, functional  
     or object-oriented techniques


PROGRAM COMMITTEE
     Maurice Bruynooghe       Leuven, Belgium (co-chairman)
     John Darlington          London, UK
     Saumya Debray            Tucson, USA
     Wlodzimierz Drabent      Warsaw, Poland
     Gerard Ferrand           Orleans, France
     Manuel Hermenegildo      Madrid, Spain
     Bharat Jayaraman         Buffalo, USA
     Feliks Kluzniak          Warsaw, Poland
     Brian Mayoh              Aarhus, Denmark
     Alan Mycroft             Cambridge, U.K.    
     Lee Naish                Melbourne, Australia
     Jaan Penjam              Tallinn, Estonia (chairman)
     Jukka Paakki             Jyvaskyla, Finland
     Igor Pottosin            Novosibirsk, Russia
     Peter Pepper             Berlin, Germany
     Antoine Rauzy            Bordeaux, France
     Jiro Tanaka              Tokyo, Japan
     Franco Turini            Pisa, Italy
     Andrej Voronkov          Novosibirsk, Russia
     David Scott Warren       New York, USA

PAPER SUBMISSION REQUIREMENTS

     Original research papers must be written and presented in English and not 
submitted elsewhere. Authors should send  five  copies  of  a  manuscript  not 
exceeding 5000 words by March 1, 1993 to:
      PLILP 93
      Jaan Penjam
      Software Department
      Institute of Cybernetics of Estonian Academy of Sciences
      Akadeemia tee 21
      EE-0108 Tallinn, Estonia
     
The cover page should include a return mailing address and, if  possible, 
an electronic mail address and a fax number. Papers should be accompanied by a 
5 line abstract sent also, if possible, by e-mail to: 
		plilp@ioc.ee                                 
 
     Authors will be notified of acceptance/rejection by May  1993  by  e-mail 
(if available). Camera-ready copy for the proceedings should be due  no  later 
than June 7, 1993. It is planned to publish the proceedings of PLILP'93 in
Lecture Notes of Computer Science, Springer-Verlag.



In cooperation with:
      INRIA (Fraance)
      Siemens (Germany)
      KU Leuven (Belgium)
      Institute of Cybernetics (Estonia)