IDAY program

Thursday July 25th, 2002

All sessions take place in auditorium 2.

IDAY's program is also available with abstracts or side by side with other meetings.

09:00-10:30  Session 1

09:00  Welcome
09:15  On FME
09:30  Martyn Thomas, Thomas Associates, UK
Invited talk: Formal methods in industry: Disease and remedies
10:00  Dominique Bolignano, Trusted Logic, France
Invited talk: Experience from applying formal methods to critical security issues

10:30-11:00  Refreshments

11:00-12:30  Session 2

11:00  Peter Gorm Larsen, Systematic Software Engineering, Denmark
Invited talk: Practical use of VDM technology in industry
11:30  Jan Peleska, Verified Systems International GmbH, Germany
Invited talk: Formal methods-based testing for large scale industrial applications
12:00  Denis Sabatier, Clearsy, France
Invited talk: The use of the B formal method to produce accurate and complete technical documents

12:30-14:00  Lunch

14:00-15:30  Session 3

14:00  Robin Bloomfield, Adelard, UK
Invited talk: Drivers in the application of formal methods
14:30  Summary and Discussion

15:30-16:00  Refreshments

16:00-17:00  Session 4

16:00  David Pearce, European Commission, Belgium
Invited talk: The EU's future and emerging technologies programme: New themes and instruments in the 6th framework programme