\documentstyle[11pt,fullpage,multicol]{article}

%\setlength{\oddsidemargin}{-.5in}
%\setlength{\evensidemargin}{-.5in}
\setlength{\oddsidemargin}{0in}
\setlength{\evensidemargin}{0in}
\setlength{\topmargin}{-.9in}
\setlength{\textheight}{10in}
%\setlength{\textwidth}{7.5in}
\setlength{\textwidth}{6.5in}
\begin{document}
\thispagestyle{empty}
\noindent
\begin{center}
\fbox{\fbox{\begin{tabular*}{6.25in}{@{\extracolsep{\fill}}lcr}
\makebox[0in][l]{\Huge\bf KR'96} &
\makebox[0in]{\begin{tabular}{c}
{\bf Fifth International Conference on Principles of}\\
{\bf  Knowledge Representation and Reasoning}\\[6pt]
\end{tabular}} & 
\makebox[0in][r]{\Huge\bf KR'96}\\
\rlap{Cambridge, Massachusetts, U.S.A.} & &  \llap{World Wide Web: \tt http://www.kr.org/kr/}\\
\rlap{November 5--8, 1996} & & \llap{Autoresponder: \tt kr96-info@kr.org}
\end{tabular*}}}
\end{center}

\vspace{1ex}

\noindent
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'96 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.  The following topics are meant to be
suggestive of the scope of the conference.
\begin{center}
\vspace{-3ex}
\begin{quotation}
\small
\begin{multicols}{2}%\raggedcolumns%\setcounter{unbalance}{1}
\begin{tabbing}
m\=m\=\kill
Representational Formalisms\\
\>Representations of Belief,\\
\>\>Intention\\
\>\>Time,\\
\>\>Space,\\
\>\>Action,\\
\>\>Events\\
\>Nonmonotonic Logics\\
\>Description Logics\\[2ex]
Reasoning Techniques\\
\>Deduction\\
\>Induction\\
\>Abduction\\
\>Reasoning under Uncertainty\\
\>Parallel and Distributed Implementations\\
\>Efficiency Measures and Complexity\\[2ex]
Implemented KR\&R Systems\\
\>Reports, Updates\\
\>Comparisons, Evaluations\\[2ex]
Significant Applications\\
\>Planning\\
\>Robotics\\
\>Diagnosis\\
\>Natural Language\\
\>Multi-Agent Environments\\
\>Knowledge Bases\\[2ex]
Implications for/of\\
\>Machine Learning \\
\>Decision Theory \\
\>Databases\\
\>Software Engineering
\end{tabbing}
\end{multicols}
\normalsize
\end{quotation}
\end{center}
\vspace{-1ex}
Full details available via the web page and autoresponder email
address given above.
\begin{center}
\fbox{\begin{tabular}{c}
{\bf SCHEDULE}\\[2ex]
\begin{tabular}{ll}
May 6, 1996		&Extended abstracts due\\
July 1, 1996		&Results to authors\\
August 15, 1996		&Final papers due\\
November 5-8, 1996		&KR'96\\
\end{tabular}
\end{tabular}}\\[3ex]

CONFERENCE COMMITTEE\\[2ex]
\begin{tabular}{lll}
Conference Chair &
Jon Doyle & {\tt doyle@mit.edu}\\
Program Co-Chairs &
Luigia Carlucci Aiello &
{\tt aiello@dis.uniroma1.it}\\
 & Stuart C.\ Shapiro &  
{\tt shapiro@cs.buffalo.edu}\\
Inter-Conference Cooperation Chair &
Ronald P. Loui & 
{\tt loui@cs.wustl.edu}\\
Publicity Chair &
Werner Horn &
{\tt werner@ai.univie.ac.at}
\end{tabular}
\end{center}

\noindent KR'96 will be held  immediately preceding the
{\bf AAAI Fall Symposia Series} held Nov.\ 9--11 (see {\tt
http://www.aaai.org/}), and immediately after several independent
workshops tentatively held Nov.\ 2--4, all also in Cambridge: {\bf
Description Logic '96} (contact {\tt dl96@dl.kr.org}), and {\bf Relevance in
Knowledge Representation and Reasoning} (contact {\tt
levy@research.att.com} or {\tt greiner@scr.siemens.com}).

\end{document}