AADEBUG'93: Call for Participation 
Author Message
 AADEBUG'93: Call for Participation

------------------------------------------------------------------------------

                            CALL FOR PARTICIPATION

                                  AADEBUG'93

      1st International Workshop on Automated and Algorithmic Debugging

           Linkoping University, Linkoping, Sweden, May 3-5, 1993

------------------------------------------------------------------------------

GENERAL INFORMATION
-------------------

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. To encourage
discussion and exchange of ideas, the workshop will be limited to at most 70
people with priority given to authors and invited people.

Invited keynote speaker:  Ehud Shapiro

Program chair: Peter Fritzson (Linkoping University)

Program Committee:
Luis Moniz Pereira      (Lisbon New University, Portugal)
Gerard Ferrand          (University of Orleans and INRIA, 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)
Mariam Kamkar           (Linkoping University, Sweden)

PROGRAM
-------

The workshop will be held at the Collegium Congress Centre which is situated
about 15 minutes walk from Linkoping University. The following program is
preliminary only, slight changes may be made.

Sunday 2 May

19.00 - 20.00   Reception and registration (at Collegium).

Monday 3 May

 8.45 -  9.15   Registration.
 9.15 -  9.20   Opening of the workshop.
 9.20 - 10.00   Keynote speech by Ehud Shapiro.
10.00 - 10.30   Coffee.
10.30 - 12.00   Surveys and Tutorials:
        10.30   A Pragmatic Survey of Automated Debugging
                (M. Ducasse)
        11.00   Usability Criteria for Automated Debugging Systems
                (N. Shahmehri, M. Kamkar, P. Fritzson)
        11.30   The notions of Symptom and Error in Declarative Diagnosis of
                Logic Programs (G. Ferrand)
12.00 - 13.00   Lunch.
13.00 - 14.30   Debugging of Logic Programs I:
        13.00   Debugging by Diagnosis Assumptions
                (L. M. Pereira, C. V. Damasio, J. J. Alferes)
        13.30   Debugging Logic Programs Using Specifications
                (Y. Lee, N. Dershowitz)
        14.00   Model-Based Diagnosis Meets Error Diagnosis in Logic Programs
                (L. Console, G. Friedrich, D. T. Dupre)
14.30 - 15.00   Coffee.
15.00 - 16.30   Testing and Debugging of Concurrent and Distributed Systems:
        15.00   Declarative Debugging of Concurrent Constraint Programs
                (M. P. J. Fromherz)
        15.30   Hierarchy in Testing Distributed Programs
                (S. Alagar, S. Venkatesan)
        16.00   Short: Metacomputation and Program Testing
                (S. M. Abramov)
        16.15   Short: A Formal Paradigm for Multiview Distributed Debugging
                Environments (C. Priami, D. Yankelevich)
19.00 -         System demonstrations.
                Reception with buffet dinner.

Tuesday 4 May

 9.00 - 10.00   Debugging Functional Programs:
         9.00   Lazy Algorithmic Debugging: Ideas for Practical Implementation
                (H. Nilsson, P. Fritzson)
         9.30   The Location of Errors in Functional Programs
                (J. E. Hazan, R. G. Morgan)
10.00 - 10.30   Coffee.
10.30 - 12.00   Debugging of Logic Programs II:
        10.30   A Generalized Query Minimization for Program Debugging
                (V. Hirunkitti, C. J. Hogger)
        11.00   What's in a Trace: The Box Model Revisited
                (G. Tobermann, C. Beckstein)
        11.30   Declarative Debugging of Abstract Data Types in Godel
                (D. Binks)
12.00 - 13.00   Lunch.
13.00 - 14.15   Slicing:
        13.00   Slicing Programs with Arbitrary Control Flow
                (T. Ball, S. Horwitz)
        13.30   Slicing Concurrent Programs
                (J. Cheng)
        14.00   Short: Slicing Functional Programs Using Collecting Abstract
                Interpretation (M. Gandhe, A. Sanyal)
14.15 - 14.45   Coffee.
14.45 - 16.00   Visualization and Graphical User Interfaces:
        14.45   Animators for Generated Programming Environments
                (F. Tip)
        15.15   Visualization as Debugging: Understanding/Debugging the
                Warren Abstract Machine
                (J. Garcia-Martin, J. J. Moreno-Navarro)
        15.45   Short: Graphical User Interfaces for Algorithmic Debugging
                (R. Westman, P. Fritzson)
17.00 - 23.00   Workshop excursion and dinner.

Wednesday 5 May

 9.00 - 10.00   Knowledge-Based Debugging and Trace-Based Debugging:
         9.00   Towards a Plan Calculus Based Intelligent Debugging System
                (R. Lutz)
         9.30   Trace-Based Debugging
                (S. P. Reiss)
10.00 - 10.30   Coffee.
10.30 - 12.00   Software Maintenance and Debugging of Logic Programs III
        10.30   Identifying Faulty Modifications in Software Maintenance
                (B. Korel)
        11.00   Short: The Application of Formal Specifications to Software
                Documentation and Debugging (A. Goyal, S. Sankar)
        11.15   Short: A Debugging Facility for Prolog
                (Y. K. Nam, L. J. Henschen)
        11.30   Automatic Diagnosis of VLSI Circuits Using Algorithmic
                Debugging (K. Kuchcinski, W. Drabent, J. Maluszynski)

SOCIAL EVENTS
-------------

On Sunday 2 May there will be a small reception at Collegium between 19.00 and
20.00 where it also will be possible to register for the workshop.

During the Monday evening an informal reception with a buffet dinner will be
held at the university. There will be opportunities for system demonstrations
and general mingling.

The workshop excursion is bound for the small medieval town of Vadstena.
After a guided tour of the castle, the workshop dinner will be held medieval
style at a nearby inn.

For accompanying persons, a guided tour of the old town of Linkoping will be
organized of there is sufficient interest.

PROCEEDINGS
-----------

The proceedings will be published locally and handed out at the workshop.
The cost of the local proceedings is included in the workshop fee. Selected
papers will be published by Springer-Verlag in Lecture Notes in Computer
Sciences.

TRAVEL
------

Linkoping Airport has connections to both Copenhagen and Stockholm (Arlanda
Airport). The cheapest route is probably via Copenhagen. Linkoping also has
good train connections with other major Swedish cities, so an alternative to
a domestic flight from Stockholm is the train. There are special buses from
Arlanda Airport to the central railway station in Stockholm (40 minutes of
travel and around SEK 50 single fare) from which southbound trains to
Linkoping leave almost every hour. It is a 2.5 hour trip and the price is
about SEK 350 single fare.

Another alternative is to fly to the nearby town of Norrkoping via Copenhagen.
There are special flight taxis that will take you from Norrkoping to Linkoping
at a fixed rate (around SEK 250). There are also frequent train connections
with Linkoping, but the airport is at some distance from the railway station.

ACCOMMODATION
-------------

There are several hotels of high standards available in Linkoping. Rooms are
available at special rates to workshop participants in two of these as
outlined below. There is also a budget alternative available at Linkopings
Vandrarhem, details below.

40 single rooms are reserved at a special rate of SEK 570 a night for workshop
participants at Collegium, the hotel where  the workshop will be held. Double
rooms are also available at SEK 670. These prices include breakfast. Please
contact the hotel directly to arrange your booking.

However, in order to be guaranteed to get one of the 40 rooms, you have to book
before 2 April, even though Collegium will hold on to the rooms until 8 April
provided that there are no other major, definitive bookings. After 8 April,
the price is still the same, but there is no longer any guarantee that there
will be any rooms left. So, if at all possible, book before 2 April.

        Collegium
        Mjardevi Forskningsby
        Teknikringen 7-9
        S-583 30 Linkoping
        Telephone:      Nat     013-20 44 00
                        Int     +46 13 20 44 00
        Telefax:        Nat     013-21 12 05
                        Int     +46 13 21 12 05

Collegium is situated outside the city centre, 15 minutes walk from the
university. Bus connections from the city centre to Collegium (and to the
university) are reasonably good, about three each hour during daytime (line
207).

10 single rooms are reserved at Hotel Brask in the city centre at SEK 695
including breakfast for workshop participants. The conditions are as above,
i.e. contact Hotel Brask directly to make your booking, preferably before
2 April.

        Hotel Brask
        Storgatan 70-76
        Box 2066
        S-580 02 Linkoping
        Telephone:      Nat     013-13 02 00
                        Int     +46 13 13 02 00
        Telefax:        Nat     013-13 27 85
                        Int     +46 13 13 27 85

A cheaper alternative is available at Linkopings Vandrarhem in the city centre
where we got 8 rooms reserved. These are really rooms for four persons, but
are available as single rooms at SEK 325 a night including breakfast. If used
as double rooms, the price is SEK 250 per person and night including breakfast.
Again, please arrange your booking directly with Linkopings Vandrarhem. You may
phone them between 8:00 and 10:00 in the morning or between 16:30 and 19:00 in
the evening.

        Linkopings Vandrarhem
        Klostergatan 52 A
        S-582 23 Linkoping
        Telephone:      Nat     013-14 90 90
                        Int     +46 13 14 90 90

Even cheaper alternatives are available at Linkopings Vandrarhem, e.g. if
you bring your own linen or cook your own breakfast (cooking facilities are
available). Please talk directly with them.

WEATHER
-------

The weather is generally nice in these parts of Sweden in the beginning of May.
Temperatures between 10 and 20 degrees C may be expected. However, the odd
rainy day should not come as a surprise.

WORKSHOP FEE
------------

The workshop fee is SEK 1600 and should be paid by cheque in advance. The fee
includes proceedings, lunch (Monday and Tuesday), coffee, buffet dinner, the
workshop excursion and the workshop dinner.

The fee for accompanying persons that whish to join the social events
(reception and workshop excursion with dinner) is SEK 400.

Cheaper rates are available for a limited number of participants from east
European countries at request.

Payment must be in Swedish Kronor (SEK) and cheques must be made payable to
AADEBUG'93. Please send the payment together with your registration. All
cheques must be marked properly with the name of the participant.

In the event of cancellation, an administrative fee of SEK 400 will be charged.
We regret that no refund can be made after 25 April.

REGISTRATION
------------

Please fill in the form below and send it together with a cheque on the
appropriate amount to the address below before 16 April. Please note that
in order to encourage discussion and exchange of ideas, the workshop will be
limited to at most 70 people with priority given to authors and invited people.

FURTHER INFORMATION
-------------------

In case you need any additional information, please contact the organizers at
the address below. E-mail preferred.

LOCAL ORGANIZATION AND REGISTRATION
-----------------------------------

Henrik Nilsson
Department of Computer and Information Science
Linkoping University
S-581 83 Linkoping, Sweden


Phone:  +46 13 282601
Fax  :  +46 13 282666

AADEBUG'93 REGISTRATION FORM

To be sent with payment to:     AADEBUG'93
                                Department of Computer and Information Science
                                Linkoping University
                                Henrik Nilsson
                                S-581 83 Linkoping
                                Sweden

Please make cheque payable to AADEBUG'93 and mark it clearly with the name
of the participant(s).
______________________________________________________________________________

Title:       .................. First Name: ..................................

Family name: .................................................................

Affiliation: .................................................................

Department:  .................................................................

Address:     .................................................................

             .................................................................

             .................................................................

Country:     .................................................................

Telephone:   ...................................

Telefax:     ...................................

E-mail:      ...................................
______________________________________________________________________________

Number of accompanying persons:                         ( )

Wish to participate in guided tour of old town (tick):  ( )
______________________________________________________________________________

Vegetarian food required (tick):                        ( )

Vegetarian food required for accompanying persons
(only buffet and workshop dinner):                      ( )

Any special requirements: ....................................................
(we will do our best)
                          ....................................................
______________________________________________________________________________

Workshop fee, SEK:                              1600

Additional tickets for buffet, excursion
and workshop dinner, SEK 400 per person:        ..........

Total SEK:                                      ..........
______________________________________________________________________________

Date: ......................... Signature: ...................................
--


Department of Computer and Information Science
Linkoping University
S-581 83 Linkoping
Sweden



Sun, 17 Sep 1995 03:09:37 GMT  
 
 [ 1 post ] 

 Relevant Pages 

1. AADEBUG'93: Call for Participation

2. AADEBUG'93: Call for Participation

3. CALL FOR PARTICIPATION: OOPSLA '93 workshop on Processes and Metrics

4. PLILP'93: call for participation and programme

5. LPAR'93 call for participation

6. OOPSLA '93 Call for Participation (LONG)

7. PLILP'93: call for participation and programme

8. PLILP'93 Program and call for participation (fwd)

9. LPAR'93 call for participation

10. LOPSTR'93 : LaTeX Call for Participation

11. LOPSTR'93 : Preliminary Call for Participation

12. CALL FOR PARTICIPATION: OOPSLA '93 workshop on Processes and Metrics

 

 
Powered by phpBB® Forum Software