From honeydew.srv.cs.cmu.edu!das-news.harvard.edu!noc.near.net!howland.reston.ans.net!xlink.net!math.fu-berlin.de!news.th-darmstadt.de!news!torsten Thu Sep  9 12:43:55 EDT 1993
Article: 18753 of comp.ai
Xref: honeydew.srv.cs.cmu.edu comp.ai:18753
Path: honeydew.srv.cs.cmu.edu!das-news.harvard.edu!noc.near.net!howland.reston.ans.net!xlink.net!math.fu-berlin.de!news.th-darmstadt.de!news!torsten
From: torsten@intellektik.informatik.th-darmstadt.de (Torsten Schaub)
Newsgroups: comp.ai
Subject: Dutch/German Workshop on Nonmonotonic Reasoning Techniques
Date: 9 Sep 93 15:46:43
Organization: TH Darmstadt
Lines: 98
Distribution: world
Message-ID: <TORSTEN.93Sep9154643@aida.intellektik.informatik.th-darmstadt.de>
NNTP-Posting-Host: aida.intellektik.informatik.th-darmstadt.de

Dutch/German Workshop on Nonmonotonic Reasoning Techniques
==========================================================

The Dutch ``Werkgroep Niet-Monotoon Redeneren'' and the German GI-Fachgruppe
``Nichtmonotones Schlie\ss en'' are organizing a joint workshop in Aachen. The
aim of the workshop is to bring together active researchers from both (and
possibly other) countries interested in the area of nonmonotonic reasoning.

Please find below a latexable Call for Participation


\documentstyle{article}

\setlength\topmargin{-.25 in}
\setlength\headheight{0 in}
\setlength\headsep{0 in}
\setlength\textwidth{6 in} 
\setlength\textheight{9.5 in}
\setlength\oddsidemargin{-0.25 in}
\setlength\evensidemargin{-0.25 in}
\setlength\parindent{0 in}
\pagestyle{empty}

\begin{document}
\begin{center}\Large
Call for Participation\\
Dutch/German Workshop on Nonmonotonic Reasoning Techniques \\ and Their Applications\\
RWTH Aachen, Dec. 8 - 10, 1993
\end{center}

The Dutch ``Werkgroep Niet-Monotoon Redeneren'' and the German GI-Fachgruppe
``Nichtmonotones Schlie\ss en'' are organizing a joint workshop in Aachen. The
aim of the workshop is to bring together active researchers from both (and
possibly other) countries interested in the area of nonmonotonic reasoning.

We want to discuss current research, results, and problems of both a
theoretical and practical nature. Topics of interest include
\begin{itemize}
\item Nonmonotonic Logics
\item Theories of Defeasible Argumentation
\item Truth Maintenance and Consistency Handling
\item Priority and Specificity Handling
\item Closed World Databases
\item Logic Programming
\item Proof Procedures and Implementations
\item Applications of nonmonotonic reasoning techniques, e.g. in design, diagnosis, law, natural language etc.
\end{itemize}
 
People wishing to present recent work should submit 4 copies of an extended
abstract of no more than eight pages to either of the program chairs. Those
wishing to attend without giving a presentation should send a short statement
of interest, explaining why they would like to attend the workshop. Electronic
submissions are encouraged. Please send postscript files only. Participation
will be limited to 30-40 people.

\begin{tabbing}
XXXX\=	AT\&T Bell Laboratories, RXXXXXXXXXXX\=\kill
Program Chairs: \\
\>	Gerhard Brewka 		\> Cees Witteveen \\
\>	GMD			\> Dep. of Computer Science \\
\>	Postfach 1316		\> Delft University of Technology \\
\>				\>  Julianlaan 132, Postbus 356 \\
\>	D-5205 Sankt Augustin	\>  2600 AJ Delft \\
\> 	Germany			\> The Netherlands
\ \\
\>	brewka@gmd.de 		\> witt@dutiad.tudelft.nl
 \end{tabbing}

\begin{tabbing}
XXXX\=	AT\&T Bell Laboratories, RXXXXXXXXXXX\=\kill
Local Chair: \\
\>	Wolfgang Nejdl (RWTH Aachen) \> nejdl@informatik.rwth-aachen.de 
\end{tabbing}

\begin{tabbing}
XXXX\=	AT\&T Bell Laboratories, RXXXXXXXXXXX\=\kill
Program Committee:\\
\>	J\"urgen Dix (U Karlsruhe) \>  dix@ira.uka.de \\
\>	Wiebe van der Hoek (VU Amsterdam) \>  wiebe@cs.vu.nl \\
\>	John-Jules Meyer (Utrecht Univ.) \>  jules@cs.vu.nl \\
\>	Torsten Schaub (TU Darmstadt) \> schaub@intellektik.informatik.th-darmstadt.de \\
\>	Karl Schlechta (DFKI Saarbruecken) \> schle@dfki.uni-sb.de \\
\>	Yao-Hua Tan (Erasmus Univ. Rotterdam) \>  tan@cs.vu.nl
\end{tabbing}

\begin{tabbing}
XXXX\=	AT\&T Bell Laboratories, RXXXXXXXXXXX\=\kill
Important dates: \\
\> Submission deadline:\> Sept. 15 \\
\> Notification of acceptance: \> Nov. 1 \\
\> Submission of final version: \> Dec. 1
\end{tabbing}

Informal proceedings containing the final versions of accepted papers will be
made available at the workshop.

\end{document}