Newsgroups: de.sci.ki.announce,comp.ai
Path: cantaloupe.srv.cs.cmu.edu!rochester!udel!news.mathworks.com!usenet.eel.ufl.edu!noc.netcom.net!news.sprintlink.net!howland.reston.ans.net!Germany.EU.net!nntp.gmd.de!news.rwth-aachen.de!newsserver.rrzn.uni-hannover.de!newsserver.rrzn.uni-hannover.de!nejdl
From: nejdl@kbs.uni-hannover.de (Wolfgang Nejdl)
Subject: CfP Intl. WS on Principles of Diagnosis (2nd Call)
Message-ID: <NEJDL.95Apr20172427@mozart.kbs.uni-hannover.de>
Sender: news@newsserver.rrzn.uni-hannover.de (News Service)
Organization: University of Hannover, Germany
Date: Thu, 20 Apr 1995 15:24:27 GMT
Lines: 114

% LaTeX document
\documentstyle{article}
\setlength{\topmargin}{-0.7in} \setlength{\textheight}{9.7in}
\setlength{\textwidth}{6.5in} \setlength{\oddsidemargin}{0in}
\setlength{\evensidemargin}{\oddsidemargin} 
\setlength{\parskip}{\smallskipamount}
\pagestyle{empty} \begin{document} \sloppy
\begin{center} \large \bf
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
                                DX-95                               \\
     The Sixth International Workshop on Principles of Diagnosis    \\
                           Goslar, Germany                          \\
                        October 2th-4th, 1995                       \\
                                  ~                                 \\
                           Call for Papers                          \\
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\end{center}

This is an annual workshop to encourage interaction and cooperation
among researchers in artificial intelligence with diverse approaches
to diagnosis.  Previous workshops in this series were held in New
Paltz (1994), Aberystwyth (UK) in 1993, Washington State (USA) in
1992, Milan (Italy) in 1991, at Stanford University (USA) in 1990, and
in Paris (France) in 1989 (the 0th one).  This year, it will take
place in the medieval town of Goslar (Niedersachsen,
Germany). Attendance is by invitation, with three days of
presentations and substantial time reserved for discussion.
Submissions are welcome on (but not limited to) the following topics:

\begin{itemize}
\item Theory of diagnosis: abductive, consistency-based, causal,
        probabilistic, constraint-based, temporal, etc.
\item Computational issues: controlling combinatorial explosion,
        focusing strategies, controlling inference in complex systems,
        use of structural knowledge, hierarchies, etc.
\item Modelling for diagnosis: multiple, approximate, incomplete,
        probabilistic, and qualitative models, integration of
        heuristics with model-based diagnosis, principles of
        modelling, modelling dynamic systems, acquiring models and
        diagnostic knowledge, etc.
\item The diagnosis process: strategies for repair, monitoring, sensor
        placement, test selection, resource-bounded diagnosis, etc.
\item Interesting connections between diagnosis and other areas,
        particularly logic programming, machine learning, control
        theory, and software V\&V/debugging/synthesis, etc.
\item Principled Applications: real-world applications are encouraged
        from a wide range of fields, such as control theory, medicine,
        chemical engineering, electrical engineering, etc.  Of
        particular interest are the diagnostic techniques used, the
        relationship between formal models of diagnosis and the
        techniques needed in practice and the practical experiences
        with the system.
\end{itemize}

3 paper copies of submitted papers (limited to 5000 words) have to be
received by May 22nd, 1995 by the workshop chair.  The papers will be
refereed by at least two members of the program committee. Please
include postal addresses, electronic mail, fax, and telephone numbers.
Authors will be notified by July 17th, 1995 and camera-ready copies
are due by September 4th, 1995. Accepted papers can be revised for
inclusion in the workshop working notes. An electronic version of this
CfP (and further information whenever it becomes available) can be
found under
http://www.kbs.uni-hannover.de/conference/dx95/dx95.html.

\bigskip
Workshop chair:

\begin{tabular}{ll}
Wolfgang Nejdl &
phone: +49 511 762-3490 \\
Universit{\"a}t Hannover &
fax:   +49 511 762-3539 \\
Institut f{\"u}r Rechnergest{\"u}tzte Wissensverarbeitung &
email: nejdl@kbs.uni-hannover.de \\
Lange Laube 3 & \\
30159 Hannover, Germany & 
\end{tabular}


\bigskip
Program Committee: 

\begin{tabular}{ll}
S. Abu-Hakima (NRC, Canada) &
G. Biswas (U. Vanderbilt, USA) \\
L. Console (U. Torino, Italy) &
P. Dague (U. Paris, France) \\
A. Darwiche (Rockwell, USA) &
G. Drastal (Siemens, USA) \\
O. Dressler (Siemens, Germany) &
B. Faltings (U. Lausanne, Switzerland) \\
G. Friedrich (Siemens, Austria) &
D. Heckerman (Microsoft, USA) \\
S. Iwanowski (Daimler-Benz, Germany) &
J. de Kleer (Xerox PARC, USA) \\
S. Kocksk{\"a}mper (U. Hamburg, Germany) &
I. Kohane (Harvard Medical School, USA) \\
W. Nejdl (U. Hannover, Germany) &
D. Poole (U. Vancouver, Canada) \\
G. Provan (IDSR, USA) &
M. Stefanelli (Pavia, Italy) 
\end{tabular}

\end{document}

--
Wolfgang Nejdl                  nejdl@kbs.uni-hannover.de
Institut fr Rechnergesttzte   fax. +49 511 762-3539
Wissensverarbeitung             tel. +49 511 762-3490
Universitt Hannover
Lange Laube 3, 30159 Hannover, Germany
http://www.kbs.uni-hannover.de/homepage.html 

