Please find enclosed the call for papers and demos for AADEBUG 2003: Fifth Int. Workshop on Automated and Algorithmic Debugging, Ghent, Belgium, September 8-10, 2003 Apologies for multiple copies. /Henrik -- Henrik Nilsson Yale University Department of Computer Science nilsson@cs.yale.edu AADEBUG'2003 Fifth Int. Workshop on Automated and Algorithmic Debugging Ghent, Belgium, September 8-10, 2003 Call for papers and demos Over the past decades automated debugging has seen major achieve- ments. However, as debugging is by necessity attached to particu- lar 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. We seek papers describing original research as well as reports on practi- cal experience. We also welcome demonstrations of tools and re- search prototypes. Typical topics of the workshop include (but are not limited to): automated debugging declarative debugging type 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 debugging using record/replay for any kind of programming paradigms (sequential, parallel, dis- tributed, real-time, logic programming, functional, object-ori- ented, imperative, visual languages). Accepted papers and demo descriptions will be included in the workshop proceedings, distributed locally on paper and CD, and will also be published on the CoRR (Computing Research Reposito- ry) website. Authors of the best papers will be invited to submit journal versions of their papers to a special issue of the Jour- nal of Automated Software Engineering on automated debugging. Demonstration of tools and research prototypes that implement new ideas in debugging automation will be part of the AADEBUG2003 technical program. Demos will be given in sessions together with technical paper presentations. Both demos and regular papers will receive a 30' time slot. 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 uploading a PDF file to http://aadebug2003.elis.rug.ac.be/. Concurrently send an e-mail to aadebug2003@elis.rug.ac.be with the title of the paper, names of the authors, full address of the correspondent and a 150 to 200 word abstract of the paper. Submission of Demos Demo descriptions should be no longer than 2000 words including a 150 to 200 word abstract. Submit demos by uploading a PDF file to http://aadebug2003.elis.rug.ac.be/ Concurrently send an e-mail to aadebug2003@elis.rug.ac.be containing the title of the demo, names of the authors, full address of the correspondent and a 150 to 200 word abstract of the paper. Clearly mention the fact that you submit a demo and not a regular paper in your email. Authors having problems to submit using the web server can send the paper to aadebug2003@elis.rug.ac.be. Conference Information The website for AADEBUG2003 containing this Call for Papers and more info can be found at http://aadebug2003.elis.rug.ac.be/. If you encounter any kind of problem or need more information mail to aadebug2003@elis.rug.ac.be. Important Dates Paper and demo submission before March 15, 2003 Notification of acceptance by May 15, 2003 Final version of paper before June 30, 2003 (this applies to the local and the CoRR proceedings) Conference Information The website for AADEBUG2003 containing this Call for Papers and more information about the conference can be found at http://aadebug2003.elis.rug.ac.be/. If you encounter any kind of problem or need more information mail aadebug2003@elis.rug.ac.be. General Conference Chair Koen De Bosschere Ghent University, Belgium Email: kdb@elis.rug.ac.be Program Chair Michiel Ronsse Ghent University, Belgium Email: ronsse@elis.rug.ac.be Program Committee Members Mikhail Auguston New Mexico State University, USA Koen De Bosschere Ghent University, Belgium Jacques Chassin de Kergommeaux LSR/ENSIMAG, France Jong-Deok Choi IBM T.J. Watson Research Center, USA Mireille Ducassé IRISA/INSA, France Peter Fritzson Linköpings Universitet, Sweden Michael Gerndt Tech. Universität München, Germany Gerda Janssens Katholieke Universiteit Leuven, Belgium Clinton L. Jeffery New Mexico State University, USA Mariam Kamkar Linköpings Universitet, Sweden Dieter Kranzlmüller Joh. Kepler University Linz, Austria Raimondas Lencevicius Nokia Research Center, Boston Edu Metz Nokia Research Center, Boston Henrik Nilsson Yale University, USA Michiel Ronsse Ghent University, Belgium Gary Sevitsky IBM T.J. Watson Research Center, USA Markus Stumptner University of South Australia, Australia Kazunori Ueda Waseda University, Japan Roland Wismüller Technische Univ. München, Germany About Ghent Ghent is one of the oldest cities in Flanders, the Dutch speaking northern part of Belgium. Through the Middle Ages, it was among the most important economic centres of Western Europe and the historic city centre still reminds us of this period through its beautiful medieval towers. There are several trains an hour that connect Ghent to the closest international airport (Brus- sels, 60km). Other closeby airports are Schiphol (The Nether- lands, 200km) and Lille (France, 90km), both having easy train connections to Ghent.