Newsgroups: comp.databases.object,comp.object.logic,comp.object
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!fas-news.harvard.edu!newspump.wustl.edu!news.starnet.net!wupost!howland.reston.ans.net!pipex!uknet!gdt!bsmail!miki!jwl
From: jwl@miki.cs.bris.ac.uk (John Lloyd)
Subject:  ILPS'95
Message-ID: <D3L2G4.77x@info.bris.ac.uk>
Sender: jwl@miki (John Lloyd)
Nntp-Posting-Host: miki.cs.bris.ac.uk
Organization: Unviversity of Bristol, Dept of Computer Science
Date: Mon, 6 Feb 1995 14:48:04 GMT
Lines: 171
Xref: glinda.oz.cs.cmu.edu comp.databases.object:4696 comp.object.logic:316 comp.object:26223


I would like to bring the Call for Papers for ILPS'95 to your attention.
(See below). The theme of the conference is "Declarative Systems", particularly
the integration of the logic, functional and object-oriented programming
paradigms. Papers from researchers in the object-oriented programming community 
addressing some aspect of this integration will be especially welcomed. 
In general terms, there is much to be gained by the three fields having a much 
closer working relationship than at present and I am trying to use the forum of 
ILPS'95 to further this co-operation. The deadline for papers is April 24th, 1995.
If you have any queries re. the conference, please contact me.

John Lloyd

*******************************************************************************

\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}



