call for papers, previous message

From: (Mireille Ducasse)
Subject:  CFP: AADEBUG'95
Date:     Wed, 27 Jul 1994 15:26:42 GMT



       2nd International Workshop on Automated and Algorithmic Debugging

                        St Malo, France, May 22-24, 1995

Over the past decade 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):

        - Declarative debugging                - Algorithmic debugging
        - Automated debugging                  - Automated testing
        - Knowledge-based debugging            - Assertion-based  debugging
        - Program Slicing                      - Monitoring
        - Trace analysis                       - Profiling

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

The workshop will take place in a small castle in Saint Malo, a nice place of
Brittany on the sea side. A visit of the world-wide famous Mont St Michel is

In order to encourage discussion and exchange of ideas, the workshop will be
limited to at most 60 people.  Contributors should be aware that the prospective
audience will not necessarily be familiar with the addressed programming
paradigms, which should, therefore, be briefly introduced.  Accepted papers will
be included in the workshop proceedings.  The proceedings of the previous
workshop have been published by Springer-Verlag.  We are currently negotiating
to repeat the experience.

Authors are invited to submit 5 copies of papers of up to 15 pages to the
workshop chair before December 15th. Concurrently an email, containing title of
contribution, names of authors, full address of correspondant and an abstract of
200 words, should be sent to

        *   Papers should be submitted before               15.12.94
        *   Notification of acceptance by                   15. 2.95
        *   Final version of paper before                   15. 3.95                  

        Mireille Ducasse                        email:       
        INSA - Dept Informatique                fax:   +33 99 28 64 58         
        20, av. des Buttes de Coesmes
        F- 35043 Rennes Cedex                   
        M. Bergere,    University of Orleans, France
        B. Bruegge,    CMU, USA                          
        W. Drabent,    Polish Academy of Sciences, Poland     
        M. Ducasse,    IRISA/INSA, France  (chair)          
        P. Fritzson,   Linkoeping University, Sweden            
        C. Jard,       IRISA/CNRS, France                 
        L. Johnson,    USC ISI, USA                      
        B. Korel,      Wayne State University, USA                  
        J. Paakki,     University of Jyvaskyla, Finland
        L.M. Pereira,  Lisbon New University, Portugal
        S.P. Reiss,    Brown University, USA
        N. Shahmehri,  Linkoeping University, Sweden 
        M.-L. Soffa,   University of Pittsburgh, USA

        Elisabeth Lebret, IRISA, France
        Marie-Noelle Georgeault, IRISA, France
        Lucette Bohuon, INSA of Rennes, France

The workshop is sponsored by: University of Rennes 1, INSA of Rennes, INRIA. 
The sponsorship of COMPULOG-NET has been requested (