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

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