FLoC '02 - IDAY program

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