CFP: AADEBUG 2003
nilsson@cs.yale.edu
nilsson@cs.yale.edu
Fri, 20 Dec 2002 12:34:14 -0500
This is a multi-part message in MIME format.
--------------170CBFE9383F96AFF2F2AB73
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
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
--------------170CBFE9383F96AFF2F2AB73
Content-Type: text/plain; charset=iso-8859-1;
name="cfp2003.txt"
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline;
filename="cfp2003.txt"
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=E9 IRISA/INSA, France
Peter Fritzson Link=F6pings Universitet, Sweden
Michael Gerndt Tech. Universit=E4t M=FCnchen, Germany
Gerda Janssens Katholieke Universiteit Leuven, Belgium
Clinton L. Jeffery New Mexico State University, USA
Mariam Kamkar Link=F6pings Universitet, Sweden
Dieter Kranzlm=FCller 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=FCller Technische Univ. M=FCnchen, 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.
--------------170CBFE9383F96AFF2F2AB73--