June 27-29 2007, Tallinn, Estonia

FORTE 2007

Registration is now open

27th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems
Special focus on service oriented computing and architectures

The FORTE series of annual conferences is dedicated to formal description techniques and their application to distributed systems and cooperating applications. The 27th FORTE conference will take place in Tallinn (Estonia) in the historical building of the Brotherhood of the Black Heads and is co-located with TestCom and FATES. The focus of FORTE'07 is on the Service Oriented Computing and Architectures using formalized and verified approaches. In addition to the classical protocol specification and verification problems, FORTE'07 will address the issues of composition of protocol functions and of algorithms for distributed systems. Contributions on the issues of composing and orchestrating services are also encouraged.

The conference will consist of tutorial sessions on the first day (Tuesday 26 June) followed by presentations of reviewed and invited papers, tool demonstrations, panel and working sessions (Wednesday 27, Thursday 28 and Friday 29). Our invited speaker is Susanne Graf. The proceedings will be published by Springer-Verlag in the Lecture Notes in Computer Sciences series.

February 25 - Abstract submission deadline
March 4 - Full paper submission deadline
April 2, 2007 - Notification about acceptance
April 15, 2007 - Camera ready version
June 27-29 2007 - Conference