Application Day

The last day of the workshop is dedicated solely to current and future applications of formal methods.

The organizers invited distinguished speakers from the major industries in this area to present their views.

9:00 - 9:40 Invited talk: Wolfram Büttner, Siemens AG
Proving instead of Hoping - Why you cannot Afford to Ignore Formal Verification

9:40 - 10:20 Invited talk: Masahiro Fujita (Fujitsu Laboratories of America)
Sree P. Rajan (Fujitsu Laboratories of America), Alan Hu (Univ. of British Columbia)
Two real formal verification experiences: ATM switch chip and parallel cache protocol

10:20 - 11:00 Invited talk: Robin Bloomfield (Adelard)
Tim Clement (Adelard), Meine van Der Meulen (Simtech)
title to be announced.
Content: Experience in formal modeling parts of Rotterdam Storm Surge Barrier

11:00 - 11:30 Coffee break

11:30 - 12:15 Mark Wilikens, JRC, European Commission
title to be announced
Content: European Dependability Initiative as part of the Information Society Technologies Programme within the EC's RTD Framework 5 (1998 - 2002)

12:15 - 12:45 Markus Ullmann (BSI), Gisela Meister (G & D)
title to be announced
Content: formal modeling of the application of digital signatures based on smartcards

12:45 - 13:15 Michael Schulze (BWB), Roland Vogt (DFKI)
Formal Methods in the Development of a Security Gateway

13:15 - 14:00 Roadmap Discussion

14:00 End of the workshop

9:00 - 9:40	Invited talk: Wolfram Büttner, Siemens AG Proving instead of Hoping - Why you cannot Afford to Ignore Formal Verification
9:40 - 10:20	Invited talk: Masahiro Fujita (Fujitsu Laboratories of America) Sree P. Rajan (Fujitsu Laboratories of America), Alan Hu (Univ. of British Columbia) Two real formal verification experiences: ATM switch chip and parallel cache protocol
10:20 - 11:00	Invited talk: Robin Bloomfield (Adelard) Tim Clement (Adelard), Meine van Der Meulen (Simtech) title to be announced. Content: Experience in formal modeling parts of Rotterdam Storm Surge Barrier
11:00 - 11:30	Coffee break
11:30 - 12:15	Mark Wilikens, JRC, European Commission title to be announced Content: European Dependability Initiative as part of the Information Society Technologies Programme within the EC's RTD Framework 5 (1998 - 2002)
12:15 - 12:45	Markus Ullmann (BSI), Gisela Meister (G & D) title to be announced Content: formal modeling of the application of digital signatures based on smartcards
12:45 - 13:15	Michael Schulze (BWB), Roland Vogt (DFKI) Formal Methods in the Development of a Security Gateway
13:15 - 14:00	Roadmap Discussion
14:00	End of the workshop