arvind@mcs.kent.edu (Arvind Kumar Bansal) (02/25/91)
Dear Colleague:
This is an effort to reach out to individual logic programming groups
for possible contribution of research papers in ILPS91 - International
Logic Programming Symposium 1991 (previously known as NACLP). The
conference will be held in San Diego, California, USA during October
28 - 31 1991. San Diego is near Mexico border and has a very pleasant
climate during the month of October.
The due date for the submission of papers is March 15, 1991,
and the due date for workshop proposals is March 22, 1991. We are
making an attempt to reach out to all the researchers through
known electronic mailing lists, electronic bulletin boards,
CACM, SIGART, AI Magazine, IEEE Computer advertisement, and known
postal addresses. However, we realize the limitations of this effort.
I am enclosing an electronic version of the announcement followed
by a tex version of the ``CALL for PAPERS" announcement
and a latex version of the "CALL for WORKSHOP PROPOSALS". I will request
you to post the laser printer version of the announcements
on your departmental notice board and other prominent places.
Please circulate the electronic version to the local e-mail list of
the relevant researchers.
Thank you for your help and possible research contributions,
With best regards
Arvind bansal
Publicity Chair
ILPS91
Department of Mathematics and Computer Science
Kent State University
Kent, OH 44242, USA
-------------------------------------------------------------------
%%% The electronic version and the tex version of the Call for Papers
are separated by the line
%%ILPS91CALL
and tex version of Call for papers and the latex version of the Workshop
Proposal are separated by the line
%%workshop91
The tex version of Call for Papers file will require ``tex <filename>"
command to produce .dvi file and latex version of Workshop Proposal
file will require ``latex <filename>" command to achieve the same effect.
If you are using A4 size papers (instead of 8.5 X 11 inch
letter size papers) to print out the announcement, you will have to
change the line ``\hsize 181mm \vsize 260mm" in Call for Papers to
``\hsize 170mm \vsize 260mm". The change was suggested by Dan Sahlin to meet the
European standard.
----------------------------------------------------------------------
ILPS91 --- FINAL Call For Papers
1991 INTERNATIONAL LOGIC PROGRAMMING SYMPOSIUM *
(* Formerly called ``North American Conference
on Logic Programming'' (NACLP))
San Diego, California, U.S.A., October 28--31, 1991
Sponsored by the Association for Logic Programming.
In cooperation with ACM (SIGACT, SIGPLAN, SIGART, SIGMOD),
IEEE Computer Society, AAAI and ESPRIT (pending).
Arising from logic programming, exciting new areas of intellectual
inquiry are emerging in the interaction of concurrency, logic,
constraints, algorithms, and parallel processing. To foster the
development of such areas, a major goal of this conference is to promote
technical interaction between logic programming and neighboring fields
including artificial intelligence, logic, databases and theoretical
computer science.
Papers are invited on all aspects of logic programming and its
connections with neighboring fields. Both theoretical and practical
papers are solicited. Topics of interest include (but are not limited
to):
- Foundations --- Semantics / Proof theory / Concurrency / Constraints
and partial information / Knowledge representation and reasoning /
Non-monotonic reasoning / Computational interpretation of various
logics / Constructive logics (proofs-as-program principle) /
Higher-order logics / Situation semantics
- Languages and Programming --- [Concurrent] [Constraint] Logic
programming languages / Extensions to logic programming / Language
design and constructs / Constraint-satisfaction techniques and
algorithms / Programming environments / Meta-programming and
reflection
- Implementation --- Compilation techniques / Architectures /
Parallelism / Performance evaluation
- Reasoning About Programs --- Program analysis and abstract
interpretation / Program synthesis / Program transformation /
Verification / Reasoning about safety and liveness properties
- Applications --- Natural languages / Design, Diagnosis and Testing /
Planning / Software engineering
- Logic Databases ---
Disjunctive databases / Finite model theory / Logical updates /
Logics of objects / Datalog optimization
Papers must be written in English and must not exceed 5000 words in
length, including a 200 word abstract and excluding references. (This
translates to approximately ten pages in 10 point on 16 point spacing.)
Papers that exceed this limit are likely to be returned without being
refereed. Submit six copies by MARCH 15, 1991 to:
Vijay Saraswat, Xerox PARC
3333 Coyote Hill Road, Palo Alto, CA 94304, USA.
E-mail: ilps91@parc.xerox.com
Phone: +1.415.494.4747 Fax: +1.415.494.4334
Authors will be notified of acceptance or rejection by JUNE 15,
1991. Final versions of accepted papers must be received by the MIT
Press in camera-ready form by July 19, 1991.
The conference will have one poster session on applications and will
be followed by several post-conference workshops, which will be
announced separately.
INVITED SPEAKERS
Robert Constable, Cornell U., USA
Koichi Furukawa, ICOT, Japan
Vladimir Lifschitz, Stanford U., USA
Johan van Benthem, U. of Amsterdam, The Netherlands
PROGRAM COMMITTEE
Hassan Ait-Kaci, DEC PRL, France
Catriel Beeri, Hebrew U., Israel
Mats Carlsson, SICS, Sweden
Johan de Kleer, Xerox PARC, USA
Atsuhiro Goto, NTT, Japan
Ken Kahn, Xerox PARC, USA
Deepak Kapur, SUNY (Albany), USA
Michael Kifer, SUNY (Stony Brook), USA
Alan Mackworth, U. British Columbia, Canada
Michael Maher, IBM Hawthorne, USA
Ugo Montanari, U. Pisa, Italy
Gopalan Nadathur, Duke U., USA
Shamim Naqvi, Bellcore, USA
Stanley Peters, CSLI, USA
David Plaisted, U. North Carolina, USA
Gordon Plotkin, U. Edinburgh, UK
Teodor Przymusinski, U. Texas (El Paso), USA
Harald Sondergaard, U. Melbourne, Australia
Evan Tick, U. Oregon, USA
Allen van Gelder, U. California (Santa Cruz), USA
Pascal van Hentenryck, Brown U., USA
David H.D. Warren, U. Bristol, UK
PROGRAM COMMITTEE CHAIRS
Vijay Saraswat, Xerox PARC, USA
Kazunori Ueda, ICOT, Japan
CONFERENCE CHAIR
Ken Kahn, Xerox PARC
3333 Coyote Hill Road, Palo Alto, CA 94304, USA
E-mail: ilps91@parc.xerox.com
Phone: +1.415.494.4390 Fax: +1.415.494.4334
LOCAL ARRANGEMENTS CHAIR
Steve Taylor, CalTech, USA
E-Mail: steve@vlsi.caltech.edu
WORKSHOP COORDINATOR
Kim Marriott, IBM Hawthorne, USA
E-mail: kimbal@ibm.com
POSTER SESSION CHAIR
Leon Sterling, Case Western Reserve U., USA
E-mail: leon@alpha.ces.cwru.edu
PUBLICITY CHAIR
Arvind Bansal, Kent State University
E-mail: arvind@mcs.kent.edu
--------------------------------------------------------------------------
%%ILPS91CALL
%%<<Tex form of CFP>>
%% Modified Tue Dec 4 16:23:00 1990.
%% Modified Wed Nov 14 11:25:50 1990.
%% Modified Sat Nov 3 18:21:04 1990 to add names of remaining
%% people.
\tolerance=250
\hfuzz=1.2pt
\font\bigbf=cmbx10 at 12pt
\font\Bigbf=cmbx10 at 14.4pt
\def\ninepoint{\baselineskip=11pt
\font\rm=cmr9 \font\bf=cmbx9 \font\it=cmti9 \rm}
\hoffset=-3 mm \voffset=-4 mm
%% For A4 size papers change to \hsize 170mm in the following line.
\hsize=181 mm \vsize=260 mm
\parindent=0pt
\nopagenumbers
\overfullrule=0pt
\hbox{%
%%\special{psfile=ilps.logo.openp hscale=0.85 vscale=0.85
%% hoffset=-2.7 voffset=-3.95}%
\vbox{
\centerline{\Bigbf ILPS91 --- Call For Papers}
\medskip
\centerline{\Bigbf 1991 International Logic Programming Symposium%
\raise5pt\hbox{$\,\dagger$}}
\medskip\smallskip
\centerline{\bf\strut San Diego, California, U.~S.~A.,
October 28--31, 1991}
\medskip
\centerline{\strut Sponsored by the Association for Logic Programming.}
\centerline{\strut In cooperation with ACM SIGACT, SIGPLAN, SIGART,
SIGMOD,}
\centerline{\strut IEEE Computer Society and AAAI (pending).}
}%
%%\special{psfile=alplogo2.ps hscale=1.2 vscale=1.2
%% hoffset=-3.9 voffset=-4.5}%
}
\bigskip
\hbox to\hsize{
\hss
\vtop{\ninepoint
\halign{#\hfil\cr
{\bf Invited Speakers}\cr
Robert Constable, {\it Cornell U., USA}\cr
Koichi Furukawa, {\it ICOT, Japan}\cr
Vladimir Lifschitz, {\it Stanford U., USA}\cr
% Johan van Benthem, {\it U. of Amsterdam, Holland}\cr
\hbox spread -7pt{Johan van Benthem,
{\it U. of Amsterdam, The Netherlands}}\cr
\noalign{\medskip}
{\bf Program Committee}\cr
Hassan A\"\i t-Kaci, {\it DEC PRL, France}\cr
Catriel Beeri, {\it Hebrew U., Israel}\cr
Mats Carlsson, {\it SICS, Sweden}\cr
Johan de Kleer, {\it Xerox PARC, USA}\cr
Atsuhiro Goto, {\it NTT, Japan}\cr
Ken Kahn, {\it Xerox PARC, USA}\cr
Deepak Kapur, {\it SUNY (Albany), USA}\cr
Michael Kifer, {\it SUNY (Stony Brook), USA}\cr
Alan Mackworth, {\it U. British Columbia, Canada}\cr
Michael Maher, {\it IBM Hawthorne, USA}\cr
Ugo Montanari, {\it U. Pisa, Italy}\cr
Gopalan Nadathur, {\it Duke U., USA}\cr
Shamim Naqvi, {\it Bellcore, USA}\cr
Stanley Peters, {\it CSLI, USA}\cr
David Plaisted, {\it U. North Carolina, USA}\cr
Gordon Plotkin, {\it U. Edinburgh, UK}\cr
Teodor Przymusinski, {\it U. Texas (El Paso), USA}\cr
Harald S\o ndergaard, {\it U. Melbourne, Australia}\cr
Evan Tick, {\it U. Oregon, USA}\cr
Allen van Gelder, {\it U. California (Santa Cruz), USA}\cr
Pascal van Hentenryck, {\it Brown U., USA}\cr
David H.D.Warren, {\it U. Bristol, UK}\cr
\noalign{\medskip}
{\bf Program Committee Chairs}\cr
Vijay Saraswat, {\it Xerox PARC, USA}\cr
Kazunori Ueda, {\it ICOT, Japan}\cr
\noalign{\medskip}
{\bf Conference Chair}\cr
Ken Kahn, {\it Xerox PARC}\cr
3333 Coyote Hill Road\cr
Palo Alto, CA 94304, USA\cr
%%E-mail: ilps91@parc.xerox.com\cr
Phone: +1.415.494.4390\cr
%%Fax: +1.415.494.4334\cr
\noalign{\medskip}
{\bf Local Arrangements Chair}\cr
Steve Taylor, {\it CalTech, USA}\cr
E-mail: steve@vlsi.caltech.edu\cr
\noalign{\medskip}
{\bf Workshop Coordinator}\cr
Kim Marriott, {\it IBM Hawthorne, USA}\cr
E-mail: kimbal@ibm.com\cr
\noalign{\medskip}
{\bf Poster Session Chair}\cr
Leon Sterling, {\it Case Western Reserve U., USA}\cr
E-mail: leon@alpha.ces.cwru.edu\cr
\noalign{\medskip}
{\bf Publicity Chair}\cr
Arvind Bansal, {\it Kent State U., USA}\cr
E-mail: arvind@mcs.kent.edu\cr
}
\smallskip
\hrule width40mm\smallskip
\vbox{\hsize=70mm\noindent
\raise3pt\hbox{$\dagger$}
Formerly called {\it North American Conference on Logic Programming
(NACLP).}}
}%
\hskip2.5mm plus1fil
\vtop{\hsize=103mm \parskip=\medskipamount \linepenalty=100
Arising from logic programming, exciting new areas of
intellectual inquiry are emerging in the interaction of
concurrency, logic, constraints, algorithms, and parallel
processing. To foster the development of such areas, a major
goal of this conference is to promote technical interaction
between logic programming and neighboring fields including
artificial intelligence, logic, databases and theoretical
computer science.
Papers are invited on all aspects of logic programming and its
connections with neighboring fields. Both theoretical and
practical papers are solicited. Topics of interest include (but
are not limited to):
{\parindent=12pt
\item{$\bullet$} {\it Foundations} ---
Semantics /
Proof theory /
Concurrency /
Constraints and partial information /
Knowledge representation and reasoning /
Non-monotonic reasoning /
Computational interpretation of various logics /
Constructive logics (proofs-as-program principle) /
Higher-order logics /
Situation semantics
\item{$\bullet$} {\it Languages and Programming} ---
[Concurrent] [Constraint] Logic programming languages /
Extensions to logic programming /
Language design and constructs /
Constraint-satisfaction techniques and algorithms /
Programming environments /
Meta-programming and reflection
\item{$\bullet$} {\it Implementation} ---
Compilation techniques /
Architectures /
Parallelism /
Performance evaluation
\item{$\bullet$} {\it Reasoning About Programs} ---
Program analysis and abstract interpretation /
Program synthesis /
Program transformation /
Verification /
Reasoning about safety and liveness properties
\item{$\bullet$} {\it Applications} ---
Natural languages /
Design, Diagnosis and Testing /
Planning /
Software engineering
\item{$\bullet$} {\it Logic Databases} ---
Disjunctive databases /
Finite model theory /
% Bottom-up evaluation /
% Implementation
Logical updates /
Logics of objects /
Datalog optimization
\par}
Papers must be written in English and must not exceed 5000 words in
length, including a 200 word abstract and excluding references. (This
translates to approximately ten pages in 10 point on 16 point spacing.)
{\it Papers that exceed this limit are likely to be returned without being
refereed.} Submit six copies by {\bf March 15, 1991} to:
\noindent\vbox{\halign{#\hfil\cr
\strut Vijay Saraswat, Xerox PARC\cr
\strut 3333 Coyote Hill Road, Palo Alto, CA 94304, USA.\cr
\strut E-mail: ilps91@parc.xerox.com\cr
\strut Phone: +1.415.494.4747\ \ \ Fax: +1.415.494.4334\cr}
}
Authors will be notified of acceptance or rejection by {\bf June 15,
1991}. Final versions of accepted papers must be received by the MIT
Press in camera-ready form by {\bf July 19, 1991}.
The conference will have one poster session on applications and will
be followed by several post-conference workshops, which will be
announced separately. }
\hss
}
\bye
%%workshop91
%% <<LateX source for call for workshops.>>
\documentstyle{article}
\thispagestyle{empty}
\begin{document}
\section*{Call for Workshop Proposals for 1991 ILPS}
Workshop proposals are invited for the 1991 International Logic
Programming Symposium (Formerly called ``North American Conference on
Logic Programming'' (NACLP)) to be held in San Diego, California, U.S.A.,
October 28--31, 1991.
Workshops will be held after the conference in an informal atmosphere
and participants will have the opportunity to meet and discuss issues
with a selected focus. The format of workshop presentations will be
determined by the organizers proposing the workshop but ample time
should be allotted for general discussion. Workshops can range in length
but most are intended to last a half or a full day. Proceedings of the
workshops are not intended to be published, but will be made available
to participants.
Workshop proposals should contain:
\begin{enumerate}
\item
A description of the workshop, identifying the particular issues it
will focus on.
\item
An indication as to why the workshop is topical and estimated number
of attendees.
\item
The names and addresses of the organizing committee. This should
consist of 2 or 3 people.
\end{enumerate}
Proposals for workshops that bridge the gap between logic programming
and neighboring fields, including artificial intelligence, logic,
databases and theoretical computer science are especially welcome.
Workshop proposals should be submitted no later than 22nd March
and organizers will be notified by 8th April. Workshop organizers are
responsible for:
\begin{enumerate}
\item
Producing a ``Call for Participation'' in the workshop by 19th April.
\item
Reviewing requests to participate in the workshop and scheduling
workshop activities by 16th August.
\end{enumerate}
Please submit workshop proposals and inquiries to:\\[0.7cm]
\hspace*{2cm}Kim Marriott,\\
\hspace*{2cm}IBM T.J. Watson Research Center,\\
\hspace*{2cm}P.O. Box 704,\\
\hspace*{2cm}Yorktown Heights, NY 10598, U.S.A.\\
\hspace*{2cm}Phone: (914) 784-7133\\
\hspace*{2cm}Fax: (914) 784-7455\\
\hspace*{2cm}Email: kimbal@ibm.com
\end{document}