************ CALL FOR PARTICIPATION ************


           INTERNATIONAL LOGIC PROGRAMMING SYMPOSIUM (ILPS'95)
	   ---------------------------------------------------

                          December 4-7, 1995 
		          ------------------

                         PORTLAND, OREGON, USA
		         ---------------------

            Sponsored by the Association of Logic Programming


Logic programming originates from the discovery that a subset of
predicate logic could be given a procedural interpretation which was
first embodied in the programming language Prolog. The unique features
of logic programming make it appealing for numerous applications in
artificial intelligence, computer-aided design and verification,
databases, and operations research as well as to explore parallel and
concurrent computing. The last two decades have witnessed substantial
developments in this field from its foundation to implementation,
applications, and the exploration of new language designs.

The Logic Programming Symposium is one of the two major annual
international conferences reporting recent research results in logic
programming. The technical program for the conference will include
tutorials, invited lectures, a panel, and presentations of refereed
papers and posters. A series of workshops is scheduled immediately after
the conference. Papers are welcome on all aspects of logic programming,
including, but not limited to:

Analysis and transformation      Non-monotonic reasoning   
Applications			 Parallelism         
Architecture			 Programming environments        
Artificial intelligence          Programming language design    
Concurrency     		 Programming methodology 
Constraints			 Meta-programming    
Databases			 Semantics and foundations 
Higher-order programming	 Theorem proving       
Implementation         		 Types and objects         
Natural language processing                                

The theme for the conference will be ``Declarative Systems'', particularly
the integration of the logic programming, functional programming, and
object-oriented programming paradigms. Papers from researchers in other 
communities on interdisciplinary research involving logic programming 
and functional and/or object-oriented programming will be especially
welcomed. A panel discussion on the integration of logic and functional
programming will be a special event at the conference.

Papers must be written in English, must not exceed 15 pages (including
references and figures), and must contain a cover page including the
following: a 200 word abstract, keywords, and postal and electronic
mailing addresses as well as phone numbers and fax numbers of the
responsible author. Submitted papers should not have been previously
published or submitted to any journals or refereed conferences or
workshops. Accepted papers must be presented at the conference. 
Send six (6) copies of your submission by April 24, 1995 to
                            -------------------------------


		John Lloyd 
		Department of Computer Science 
		University of Bristol
		Bristol, BS8 1TR, U.K. 
		Email: jwl@compsci.bristol.ac.uk 
		Phone: +44-272-287953  Fax: +44-272-251154 

Authors will be notified of the acceptance or rejection of their
papers by July 17, 1995. Final versions of the accepted
papers must be received in camera-ready form by August 25, 1995.
The proceedings will be published by MIT Press.


Program Committee
-----------------
Hassan Ait-Kaci               Canada  
Sergio Antoy                  USA      
Krzysztof Apt                 Netherlands  
Frederic Benhamou             France      
Mats Carlsson                 Sweden   
Takashi Chikayama             Japan      
John Conery                   USA       
John Darlington               UK       
Danny De Schreye              Belgium 
John Gallagher                UK     
Michael Hanus                 Germany       
Deepak Kapur                  USA          
John Lloyd                    UK 
Micha Meier                   Germany     
Dale Miller                   USA        
Hakan Millroth                Sweden    
Juan Jose Moreno Navarro      Spain    
Chris Moss                    UK      
Shamim Naqvi                  USA    
Catuscia Palamidessi          Italy 
Luis Moniz Pereira            Portugal  
Olivier Ridoux                France   
Marek Sergot                  UK      
Harald Sondergaard            Australia  
Peter Stuckey                 Australia 
Franco Turini                 Italy    
Allen Van Gelder              USA     
Carlo Zaniolo                 USA    

General Chair
-------------
Evan Tick (University of Oregon) 

Program Chair
-------------
John Lloyd (University of Bristol)

Workshop Chair
-------------
David Maier (Oregon Graduate Institute) 

Publicity Chair 
-------------
Vikram Saletore (Oregon State University) 

Organizing Committee
--------------------
Sergio Antoy (Portland State)
David Maier (Oregon Graduate Institute)
Vikram Saletore (Oregon State University)
Evan Tick (University of Oregon) 


Local Organization
------------------
Sergio Antoy (Portland State University)