EFSD program

Sunday July 21st, 2002

All sessions take place in auditorium 7.

EFSD's program is also available side by side with other meetings.

09:30-10:30  Session 1: Welcome and Invited Talk

09:30  Welcome and Introduction
09:45  Matthias Anlauff, Dusko Pavlovic, and Douglas R. Smith; Kestrel Inst., USA (Invited talk)

10:30-11:00  Refreshments

11:00-12:30  Session 2: Technical Papers 1

11:00  Luís Andrade, ATX Software, Portugal and José Luiz Fiadeiro, U Lisbon, Portugal
Coordination primitives for evolving event-based systems
11:30  Discussion
11:45  Axel Schairer, DFKI Saarbrücken, Germany
Proof transformations for reusing proofs after changing subformulae of verification conditions
12:15  Discussion

12:30-14:00  Lunch

14:00-15:30  Session 3: Technical Papers 2

14:00  Lindsay Groves, Victoria U of Wellington, New Zealand
A formal approach to program evolution
14:30  Discussion
14:45  Hubert Baumeister, U Munich, Germany
Formal methods and extreme programming
15:05  Nicola Piccinini and Giuseppe Scollo, U Verona, Italy
The visual proof manipulation project (VPM)
15:25  Discussion

15:30-16:00  Refreshments

16:00-17:00  Session 4: System Demos

16:00  System demonstrations
16:45  Closing remarks