\documentstyle[psfig,multicol]{article}

\addtolength{\topmargin}{-1.6in}
%\topmargin -0.5in
\marginparwidth 0pt 

\oddsidemargin  -0.5in 
\evensidemargin  0pt

\marginparsep 0pt
\textwidth 7.4in 
\textheight 10.0in
\parskip 6pt 
\parindent 0pt

\pagestyle{empty}
\begin{document}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\begin{minipage}[b]{4.8in}
\begin{flushright}
  {\bf CALL FOR PAPERS}\\[2ex]
  {\Large\bf Sixth International Conference on Principles of \\
    Knowledge Representation and Reasoning \\[1ex] (KR'98)}\\[2ex]
  {\large\it Trento, Italy}\\[1ex]
  {\large June 2--5, 1998} \\[1ex]
  (With workshops and coordinated events \\ May 30--June 1 and June 6--8, 1998)
\end{flushright}
\end{minipage}
%
\hskip 0.4 in
%
\psfig{file=krlogo.eps,width=140pt}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\vspace{.3in}

\footnotesize
\begin{minipage}[t]{3.2in}% first column (was 2.5)
\parskip 4pt
\def\next{\vspace{2mm}}

{\normalsize {\bf Topics}}\\[-2.5em]
\begin{multicols}{2}%%%\raggedcolumns\setcounter{unbalance}{1}
\begin{tabbing}
.\=.\=\kill
Representational Formalisms:\\
\>Representations of Belief, \\
\>\>Intention, Time, Space, \\
\>\>Action, Events;\\
\>Nonmonotonic Logics;\\
\>Description Logics.\\[1ex]
Reasoning Techniques:\\
\>Deduction, Induction,\\
\>Abduction,\\
\>Reasoning under Uncertainty,\\
\>Efficiency Measures, \\
\>Complexity,\\
\>Parallel and Distributed \\
\>\>Implementations.\\
Implemented KR\&R Systems:\\
\>Reports, Updates,\\
\>Comparisons, Evaluations.\\[1ex]
Significant Applications:\\
\>Planning, Robotics,\\
\>Diagnosis, Natural Language,\\
\>Multi-Agent Environments,\\
\>Knowledge Bases.\\[1ex]
Implications for/of:\\
\>Machine Learning, \\
\>Decision Theory, \\
\>Databases,\\
\>Software Engineering.
\end{tabbing}
\end{multicols}

\vspace{-1em}

{\normalsize {\bf Schedule}}\\[1mm]
\vspace{-0.8cm}
\noindent
\begin{tabbing}
June 1, 1998 {\it (evening)}\ \ \ \= \kill
November 26, 1997 \>   Electronic abstracts due \\
December 1, 1997               \> Extended abstracts due\\
December 10, 1997 \>   Ack. of extended abstracts \\
February 2, 1998               \> Results to authors \\
March 17, 1998              \> Final papers due \\
May 30--June 1, 1998       \> Workshops \\
June 1, 1998 {\it (evening)}         \> Opening reception \\
June 2--5, 1998        \> {\bf KR'98} conference\\
June 6--8, 1998 \>   Workshops
\end{tabbing}

\vspace{-0.5em}

{\normalsize {\bf Conference Committee}} \\[1mm]
Conference Chair \\
{\bf Stuart C. Shapiro} \\ 
{\it SUNY at Buffalo, USA } \\
{\tt shapiro@cs.buffalo.edu}\\[2mm]
Program Co-Chairs \\
\parbox[t]{1.4in}{
{\bf Anthony G. Cohn} \\
{\it Division of AI \\ School of Computer Studies}\\
{\it Univ. of Leeds \\ Leeds, LS2 9JT, UK } \\
{\tt agc@scs.leeds.ac.uk} } %%% \\[1.2mm]
\parbox[t]{1.5in}{
{\bf Lenhart Schubert} \\  
{\it Computer Science Dept. } \\
{\it University of Rochester } \\
{\it Rochester, NY 14627-0226\\ USA  } \\
{\tt schubert@cs.rochester.edu} } \\[2mm]
\parbox[t]{1.4in}{
Local Arrangements Chair \\
{\bf Fausto Giunchiglia} \\ 
{\it IRST, Trento, Italy } \\
{\tt fausto@irst.itc.it} } %%% \\[2mm]
\parbox[t]{1.6in}{
Workshops Coordination Chair \\
{\bf Lin Padgham} \\
{\it RMIT, Melbourne, Australia } \\
{\tt linpa@cs.rmit.edu.au} } \\[2mm]
\parbox[t]{1.4in}{
Publicity Chair \\
{\bf Enrico Franconi} \\
{\it IRST, Trento, Italy } \\
{\tt franconi@irst.itc.it} } %%% \\[2mm]
\parbox[t]{1.6in}{
Treasurer \\
{\bf Francesco Donini} \\
{\it Univ. of Rome I, Italy }\\
{\tt donini@assi.dis.uniroma1.it}}

\next

{\normalsize {\bf Resources}} \\[1mm]
WWW:~{\normalsize \tt http://www.kr.org/kr/kr98/}\\
Autoresponder:~{\normalsize \tt kr98-info@kr.org}\\

\vspace{-0.3em}

Sponsored by KR, Inc.\\
Organization supported by IRST-ITC\\
In cooperation with the AAAI

%%% \next

%%% Full details available via the web page and \hfill \\ autoresponder
%%%   email address given above.

\end{minipage}
%%% Vertical Line of 17.9cm
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\hskip .05 in
\framebox[0cm]{\parbox[t]{0cm}{\vspace{18.9cm}}}
\hskip .15 in
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{minipage}[t]{3.9in}% second column (was 4.4)
\parskip 4pt

Explicit representations of knowledge manipulated by inference algorithms
provide an important foundation for much work in Artificial Intelligence,
from natural language dialogue systems to expert systems. We intend KR'98 to
be a place for the exchange of news, issues, and results among the community
of researchers in the principles and practices of knowledge representation
and reasoning (KR\&R) systems.
\\
We encourage papers that present substantial new results in the principles
of KR\&R systems while clearly showing the applicability of those results to
implemented or implementable AI systems. We also encourage ``reports from
the field'' of applications, experiments, developments, and tests. Such
papers should be explicitly identified as reports from the field by the
authors, to ensure appropriate reviewing.
\\
It is anticipated that a number of adjoining meetings and workshops will be
held in conjunction with KR'98. Anyone interested in organising such a
meeting should contact the workshops coordination chair as soon as possible.

{\normalsize {\bf Submission of Papers.\ }} The Program Committee will
review {\em extended abstracts} rather than complete papers. Submissions
must be at most twelve (12) pages, excluding the title page and the
bibliography, with a maximum of 38 lines per page and an average of 75
characters per line (corresponding to the \LaTeX\ article-style, 12pt).
Overlength submissions will be rejected without review. All abstracts must
be submitted on 8 1/2 by 11 inch or A4 paper, and printed or typed in
12-point font (10 characters per inch on a typewriter).  Dot matrix
printout, FAX, or electronic submission will not be accepted.  Each
submission should include the names and complete addresses (including email,
when possible) of all authors. Also, authors should indicate under the title
which of the topic areas listed above best describes their paper (if none is
appropriate, please give a set of keywords that best describe the topic of
the paper). Submitted papers must be unpublished and substantively different
from papers currently under review.
\\
A form giving details of any proposed submission must be properly filled at
the WWW address\ {\tt http://www.kr.org/kr/kr98/submission.html}\ by
Wednesday November 26, 1997.  If intending authors do not have WWW access
then an email message must be sent to\ {\tt kr98@cs.rochester.edu}\ by
Wednesday November 26, 1997 giving details of any proposed submission in the
following format (please be sure to spell the keywords correctly and to
include the `:'s):
\\[1mm]
{\tt Title}: $\langle$Title of paper$\rangle$ \\
{\tt Author}: $\langle$Last name, initials$\rangle$ \\
{\tt Author}: $\langle$Insert as many more author lines as necessary$\rangle$ \\
$\ldots$\\
{\tt CorrespondingAuthor}: $\langle$Name of corresponding author$\rangle$ \\
{\tt CorrespondingEmail}: $\langle$Email of corresponding author$\rangle$ \\
{\tt CorrespondingAddress}: $\langle$Address of corresponding author$\rangle$ \\
{\tt Keywords}: $\langle$List of keywords, preferably chosen from topic list $\rangle$\\
{\tt Abstract}: $\langle$Short abstract, max 200 words$\rangle$ \\
{\tt EndAbstract}: $\langle$Mark the end of the short abstract thus$\rangle$
\\[1mm]
If intending authors do not have email then they should send the same
information by letter to arrive by Wednesday November 26, 1997 addressed to
either of the Programme Co-chairs.
\\
Extended abstracts should be submitted to either of the Programme Co-chairs
(5 copies) by Monday December 1, 1997.  Submissions should be clearly marked
``KR98'' on the envelope. Electronic submission of the extended abstract is
not permitted.  Acknowledgement of extended abstracts will be made by email
no later than Wednesday December 10 1997.
\\
Authors of accepted papers will be expected to submit substantially longer
full papers for the conference proceedings. Final camera-ready copies of the
full papers will be due Wed Mar 17 1998.

\end{minipage}
\end{document}
