PROGRAM

There may be minor changes in event of cancellations, additions, and the like.

Wed, Oct. 7: Technical Program (I)

10:00 - 11:00 Welcome Messages and Organizational Notes
11:00 - 11:30 Francois Puitg, Jean-Francois Dufourd:  
Formal Program Development in Geometric Modelling
11:30 - 12:00 Wanderley Lopes de Souza et al.: 
Design of Distributed Multimedia Applications
12:00 - 12:30 Alfons Geser, Wolfgang Kuechlin: 
Structured Formal Verification of a Fragement of the IBM/390 Clock Chip
12:30 - 14:30 Lunch and Tool Demonstrations
14:30 - 15:30 Invited Talk: 
Egon Boerger: 
The Abstract State Machines Method for the Design and Analysis of Complex Computing Systems
15:30 - 16:00 Coffe Break
16:00 - 16:30 Piergiorgio Bertoli, Alessandro Cimatti, Fausto Giunchiglia, Paolo Traverso: 
A Structured Approach to the Formal Certification of Safety for Computer
16:30 - 17:00 K.Bogdanov, M.Holcombe, H.Singh: 
Automated Test Set Generation for Statecharts
17:00 - 17:30 Wolfgang Goerigk, Ulrich Hoffmann: 
Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct
17:30 - 18:00 Amir Pnueli, O. Shtrichman, M. Siegel: 
Translation Validation of Synchronous Languages
18:00 - 18:30 Satoshi Yamane: 
A Practical Hierarchical Design by Timed Simulation Relations for Real-Time Systems
20:00 - ad lib Banquett

Thu, Oct. 8: Technical Program (II)

9:00 - 10:00 Invited Talk: 
Manfred Broy 
Enriching the Software Development Process by Formal Methods
10:00 - 10:30 Coffee break
10:30 - 11:00 Sten Agerholm, Peter Gorm Larsen: 
A Lightweight Approach to Formal Methods
11:00 - 11:30 Robert Buessow, Wolfgang Grieskamp, Winfried Heicking, Stephan Herrmann: 
An Open Environment for the Integration of Heterogeneous Modelling Techniques and Tools
11:30 - 12:00 Phillip W. Kutter, Daniel Schweizer, Lothar Thiele: 
Integrating Formal Domain Specific Language Design in the Software Life Cycle
12:00 - 12:30 Tiziana Margaria, Volker Gruhn: 
Flexible and Reliable Process Model Properties An Integrated Approach
12:30 - 14:30 Lunch and Tool Demonstrations
14:30 - 15:30 Invited Talk 
Ed Clarke  
Model Checking and the Verification of Finite State Reactive Systems
15:30 - 16:00 Coffee break
16:00 - 16:30 A. Fantechi, S.Gnesi, F.Mazzanti, R.Pugliese, E. Tronci: 
A Symbolic Model Checker for ACTL
16:30 - 17:00 Michael Goldsmith, Irfan Zakiuddin: 
Critical Systems Validation and Verification with CSP and FDR
17:00 - 17:30 Bernd Krieg-Brueckner: 
UniForM Perspectives for Formal Methods
17:30 - 18:00 Einar W. Karlsen: 
The UniForM Work Bench - a Higher Order Tool Integration Framework
18:00 - 18:15 Break
18:15 - 19:00 Roadmap Discussion 
19:30 Dinner

Fri, Oct. 9: Application Day (Invited Contributions)

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: Meine van der Meulen (Simtech)  
Robin Bloomfield (Adelard), Tim Clement (Adelard)  
The application of formal methods in the specification of the emergency closing system of the storm surge barrier in the Eastern Scheldt.
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