Wolfgang  Nejdl  (nejdl@kbs.uni-hannover.de)
Thu,  20  Apr  1995  17:22:12  +0200

                                         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  diag-
nosis. Previous workshops in this series were held in New Paltz (1994), Abe-
rystwyth  (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:

      -  Theory of diagnosis: abductive, consistency-based, causal, probabilistic,
         constraint-based, temporal, etc.

      -  Computational issues: controlling combinatorial explosion, focusing stra-
         tegies, controlling inference in complex systems, use of structural know-
         ledge, hierarchies, etc.

      -  Modelling for diagnosis: multiple, approximate, incomplete, probabilis-
         tic, and qualitative models, integration of heuristics with model-based
         diagnosis,  principles  of  modelling,  modelling  dynamic  systems,  acqui-
         ring models and diagnostic knowledge, etc.

      -  The  diagnosis  process:  strategies  for  repair,  monitoring,  sensor  place-
         ment, test selection, resource-bounded diagnosis, etc.

      -  Interesting  connections  between  diagnosis  and  other  areas,  particu-
         larly logic programming, machine learning, control theory, and software
         V&V/debugging/synthesis, etc.

      -  Principled Applications: real-world applications are encouraged from a
         wide range of fields, such as control theory, medicine, chemical enginee-
         ring, 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  re-
fereed  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 Septem-
ber 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.unihannover.de/conference/dx95/dx95.html

Workshop chair:

Wolfgang Nejdl 
Universit"at Hannover 
Institut fur Rechnergestutzte Wissensverarbeitung 
Lange Laube 3
30159 Hannover, Germany
phone: +49 511 762-3490
fax: +49 511 762-3539
email: nejdl@kbs.uni-hannover.de

Program Committee:

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"amper (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)