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

Important dates

10 April 2006 (recommended) Short abstract submission deadline
18 April 2006 Paper submission deadline
11 June 2006 (Updated) Notification to authors
25 June 2006 Camera-ready version
September 26th - 29th, 2006 Conference