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--