From: mireille@ecrc.de (Mireille Ducasse)
Subject: CFP: Intl workshop on Automated and Algorithmic Debugging
Organization: European Computer-Industry Research Centre GmbH, Munich, Germany
Date: Thu, 28 Jan 1993 06:37:33 GMT


			       CALL FOR PAPERS
				      
				      
				 AADEBUG'93
				      
      1st International Workshop on Automated and Algorithmic Debugging
				      
	   Linkoping University, Linkoping, Sweden, May 3-5, 1993
				      


The area referred to as automated debugging has seen major developments over
the last decade. One especially successful area of automated debugging is
algorithmic debugging which originated in logic programming but later has
been generalized to concurrent languages, imperative languages, lazy
functional languages, etc. Important advances have also been made in
knowledge-based program debugging, and in approaches to automated debugging
based on static and dynamic program slicing.

The goal of the workshop is to bring together researchers from different
areas of automated debugging and different programming communities to
exchange ideas and advance the state of the art of automated debugging.
Typical topics of the workshop include (but are not limited to):

 - Declarative debugging
 - Algorithmic debugging for different classes of languages
 - Practical experience on realistic programs
 - Automated debugging for parallel languages
 - Testing and automated debugging
 - Program Slicing approaches
 - Knowledge based debugging approaches
 - Assertion based approaches
 - Relationships to other areas

In order to encourage discussion and exchange of ideas, the workshop will be
limited to at most 70 people. Authors are invited to submit 5 copies of
papers of up to 15 pages to Peter Fritzson before February 15:th.  Email
submission of papers in postscript form to henni@ida.liu.se is encouraged.
All accepted papers will be included in the workshop proceedings, which will
be distributed to the workshop participants.  We are currently negotiating
with Springer-Verlag regarding the publication of the proceedings.


Invited keynote speaker:  Ehud Shapiro


Deadlines:

 *   Papers should be submitted before               Febr  15:th

 *   Notification of acceptance                      March 25:th

 *   Final version of paper before                   April 7:th

 *   Deadline for registration                       April 15:th



Program chair:

Peter Fritzson
Department of Computer and Information Science
Linkoping University
S-581 83 Linkoping, Sweden
Phone: +46 13 281484
Fax:   +46 13 282666
Email: petfr@ida.liu.se


Program Committe

Luis Moniz Pereira     (Lisbon New University, Portugal)
Gerard Ferrand         (University of Orleans, France)
Nahid Shahmehri        (Linkoping University, Sweden)
Jan Maluszynski        (Linkoping University, Sweden)
Mireille Ducasse       (ECRC, Munich, Germany )
Bogdan Korel           (Wayne State University, Detroit, USA)
Rudolph Seviora        (University of Waterloo, Canada)
Mary-Lou Soffa	       (University of Pittsburgh, USA)


Registration, submissions and local organization:

Henrik Nilsson
Department of Computer and Information Science
Linkoping University
S-581 83 Linkoping, Sweden
Email: Henrik.Nilsson@ida.liu.se
Phone: +46 13 282601
Fax  : +46 13 282666




Newsgroups: comp.lang.prolog