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

Invited speakers

Invited Speakers

    Daniel Krob

    Daniel Krob CNRS research director, Professor at Ecole Polytechnique, France will give a talk entitled "Modelling of Complex Software Systems: a Reasoned Overview": Abstract

    Leslie Lamport

    Leslie Lamport principal researcher at Microsoft will give a talk entitled "The +CAL Algorithm Language": Abstract

    Martin Wirsing

    Martin Wirsing full Professor at the Institut fur Informatikr, Ludwig-Maximilians-Universitat Muncheni will give a talk entitled "Semantic-Based Development of Service-Oriented Systems": Abstract