Newsgroups: comp.parallel
From: Vikram Saletore <saletore@chert.cs.orst.edu>
Subject: ILPS`95: CALL FOR PAPERS
Organization: Computer Science Department, Oregon State University
Date: 5 Apr 1995 20:40:11 GMT
Message-ID: <3m95hp$kkp@usenet.srv.cis.pitt.edu>


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

                       SUBMISSION BY APRIL 24, 1995
		       ----------------------------

           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)


 ============================== Cut Here =================================


 LaTeX Version of the CALL FOR PAPERS:
 -------------------------------------


 
\documentstyle{article}
%\setlength{\oddsidemargin}{-0.50in}
\setlength{\oddsidemargin}{-0.90in}
\setlength{\evensidemargin}{0in}
\setlength{\textwidth}{7.75in}
\setlength{\topmargin}{-0.5in}
\setlength{\headsep}{0.0in}
\setlength{\textheight}{24.5cm}
\pagestyle{empty}
\hbadness=10000

\begin{document}
\begin{center}
{\Large Call For Papers} \\
$ \ $ \\
{\Large\bf International Logic Programming Symposium (ILPS'95)} \\
$ \ $ \\
Portland, Oregon, 4--7 December 1995 \\
$ \ $ \\
Sponsored by the {\bf Association of Logic Programming}
\end{center}

\parbox{2.682in}{
{\center\bf Program Committee} \\ 
\noindent\begin{tabular}{ll}
Hassan A\"{\i}t-Kaci         &  Canada  \\
Sergio Antoy                &  USA     \\ 
Krzysztof Apt               &  Netherlands  \\
Fr\'{e}d\'{e}ric 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      \\  
H{\aa}kan Millroth          &  Sweden    \\
Juan Jos\'{e} Moreno Navarro&  Spain    \\
Chris Moss                  &  UK      \\
Shamim Naqvi                &  USA    \\
Catuscia Palamidessi        &  Italy \\
Lu\'{\i}s Moniz Pereira      &  Portugal  \\
Olivier Ridoux              &  France   \\
Marek Sergot                &  UK      \\
Harald S{\o}ndergaard       &  Australia  \\
Peter Stuckey               &  Australia \\
Franco Turini               &  Italy    \\
Allen Van Gelder            &  USA     \\
Carlo Zaniolo               &  USA    \\
\end{tabular}

{\center\bf General Chair} \\ 
\begin{tabular}{l}
Evan Tick (Oregon) \\
\end{tabular}
%
{\center\bf Program Chair} \\ 
\begin{tabular}{l}
John Lloyd (Bristol) \\
\end{tabular}
%
{\center\bf Workshop Chair} \\
\begin{tabular}{l}
David Maier (Oregon Grad. Inst.) \\
\end{tabular}
%
{\center\bf Publicity Chair} \\ 
\begin{tabular}{l}
Vikram Saletore (Oregon State) \\
\end{tabular}
%
{\center\bf Organizing Committee} \\ 
\begin{tabular}{l}
Sergio Antoy (Portland State) \\
David Maier (Oregon Grad. Inst.) \\
Vikram Saletore (Oregon State) \\
Evan Tick (Oregon) \\
\end{tabular}
%
{\center\bf Local Organization} \\ 
\begin{tabular}{l}
Sergio Antoy (Portland State) \\
\end{tabular}
}
\parbox{4.8in}{
\setlength{\parindent}{0.5cm}

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:

\begin{quote}
\begin{tabular}{ll}
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     &                           \\
\end{tabular}
\end{quote}

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 {\bf six (6) copies} of your submission by {\tt April 24, 1995} to
\begin{quote}
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 
\end{quote}
Authors will be notified of the acceptance or rejection of their
papers by {\tt July 17, 1995}. Final versions of the accepted
papers must be received in camera-ready form by {\tt August 25, 1995.}
The proceedings will be published by {\tt MIT Press.}
}
\end{document}

