September 26-29 2006, Paris, France

26th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems
Special focus on verified middleware and distributed services

Tutorial 1 (morning)

by Professor Rüdiger Valk , University of Hamburg, Germany
Petri nets and Software Engineering -> Abstract Slides(1) Slides(2)

Tutorial 2 (afternoon)

by Professor Dominique Méry , University Henri Poincaré Nancy 1 & LORIA, France
The event B method -> Abstract Slides(1) Slides(2) Slides(3) Slides(4) Slides(5)