From: Mireille Ducasse
Subject: AADEBUG'2000 CFP
Date: 
Message-ID: <7vv721$qko$9@news.irisa.fr>
                                AADEBUG'2000

            Fourth International Workshop on Automated Debugging
                     Munich, Germany, 28-30 August 2000

	    http://www.irisa.fr/lande/ducasse/aadebug2000

Call for papers

Over the past decades automated debugging has seen major achievements.
However, as debugging is by necessity attached to particular programming
paradigms, the results are scattered. The aims of the workshop are to gather
common themes and solutions across programming communities, and to
cross-fertilize ideas. Original research as well as practical experience
reports are welcome.

Typical topics of the workshop include (but are not limited to):

   * automated debugging,
   * declarative debugging,
   * knowledge-based debugging,
   * algorithmic debugging,
   * assertion-based debugging,
   * trace analysis,
   * software testing,
   * program slicing,
   * monitoring,
   * performance debugging,
   * parallel and distributed debugging,
   * debugging by simulation

for any kind of programming paradigms (sequential, parallel, distributed,
real-time, logic programming, functional, object-oriented, imperative,
visual languages.)

Accepted papers will be included in the workshop proceedings, probably
published on the web. Authors of the best papers will be invited to submit
journal versions of their papers to a special issue of the Journal of
Automated Software Engineering on automated debugging.

Submission of Papers

Contributors should be aware that the prospective audience will not
necessarily be familiar with the addressed programming paradigms, which
should, therefore, be briefly introduced. Papers should be no longer than
5000 words in length, including a 150 to 200 word abstract. Submit papers by
sending a Ghostview-readable Postscript file containing the article to
·······@irisa.fr. Concurrently send an e-mail to ·······@irisa.fr containing
the title of the paper, names of the authors, full address of the
correspondent and a 150 to 200 word abstract of the paper. Authors having
problems to submit by email should contact the program chair.

Important Dates

   * Papers submission before March 31, 2000
   * Notification of acceptance by May 15, 2000
   * Final version of paper before June 30, 2000

Program Chair

Mireille Ducass�
IRISA/INSA
Campus Universitaire de Beaulieu
F- 35042 France cedex
Fax: +33 2 99 28 64 58
Email: ·······@irisa.fr

Program Committee Members

Mikhail Auguston, New Mexico State University, USA
Bernd Bruegge, Technische Universitaet Muenchen, Germany (local chair)
Wlodzimierz Drabent, Polish Academy of Sciences, Poland
Mireille Ducasse, IRISA/INSA, France (program chair)
Keith Gallagher, Loyola College in Maryland, USA
Thomas.Gross, CMU, USA and ETH Zurich, Swizterland
David R. Hanson, Microsoft Research, USA
Mariam Kamkar, Link�ping University, Sweden
Bogdan Korel, Illinois Institute of Technology, USA
Henrik Nilsson, Link�ping University, Sweden
Pascale Thevenod-Fosse, LAAS-CNRS, France
Frank Tip, IBM T.J. Watson Research Center, USA
Kazunori Ueda, Waseda University, Japan
Roland Wism�ller, Technische Universitaet Muenchen, Germany