Newsgroups: comp.ai
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news2.near.net!satisfied.elf.com!news.mathworks.com!udel!darwin.sura.net!news.Vanderbilt.Edu!vuse.vanderbilt.edu!biswas
From: biswas@vuse.vanderbilt.edu (Gautam Biswas)
Subject: Sixth Intl. Workshop on Principles of Diagnosis (DX-95)
Message-ID: <1995Jan20.011659.17827@news.vanderbilt.edu>
Keywords: Call for Papers
Sender: news@news.vanderbilt.edu
Nntp-Posting-Host: air.vuse.vanderbilt.edu
Organization: Vanderbilt University School of Engineering, Nashville, TN, USA
Date: Fri, 20 Jan 1995 01:16:59 GMT
Lines: 83

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
                                DX-95                             
     The Sixth International Workshop on Principles of Diagnosis  
                           Goslar, Germany                        
                        October 2th-4th, 1995                   
                                  
                           Call for Papers                        
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


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:


1. Theory of diagnosis: abductive, consistency-based, causal,
        probabilistic, constraint-based, temporal, etc.
2. Computational issues: controlling combinatorial explosion,
        focusing strategies, controlling inference in complex systems,
        use of structural knowledge, hierarchies, etc.
3. 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.
4. The diagnosis process: strategies for repair, monitoring, sensor
        placement, test selection, resource-bounded diagnosis, etc.
5. Interesting connections between diagnosis and other areas,
        particularly logic programming, machine learning, control
        theory, and software V\&V/debugging/synthesis, etc.
6. 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.


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.informatik.rwth-aachen.de/I5-Nejdl/conference/dx95/dx95.html.

\bigskip
Workshop chair:


Wolfgang Nejdl           
Universitat Hannover     
Institut fur Rechnergestutzte Wissensverarbeitung
Lange Laube 3
30159 Hannover, Germany.

email: nejdl@irb.uni-hannover.de 
phone: +49 511 762-0 
fax:   +49 511 762-4933 

Program Committee: 

S. Abu-Hakima (NRC, Canada)          G. Biswas (Vanderbilt U., 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. Kockskamper (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) 

