Tuesday, 26 June - Friday 29 June 2007, Tallinn University of Technology, Estonia.
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. FORTE’07 is organized jointly by the Department of Computer Science and the Institute of Cybernetics at Tallinn University of Technology. 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). The proceedings will be published by Springer-Verlag in the Lecture Notes in Computer Science series.

Important dates:

Submission of abstracts: 18 February, 2007
Submission of full papers: 25 February, 2007
Notification of acceptance: 1 April, 2007
Camera ready version: 13 April, 2007


The aim of FORTE 2007 is to provide a forum for researchers and users to review, discuss, and learn about new approaches, concepts and experiences in the application of formal methods for the specification and the verification of distributed systems and applications. Formal description techniques include (but are not limited to) SDL, UML notations, Domain Specific Languages (DSLs), LOTOS, MSC, Promela, etc. Contributions on formal paradigms based on finite state machines, process algebras, Petri nets, logics, timed automata, etc are also encouraged. The application domains include networking, telecommunication services, internet, embedded systems, real time systems, transport systems, networked games, web based systems and services, etc. Topics of interest include, but are not restricted to:

* Use of formal methods: formally based design of communication protocols, formal verification, composition of protocols, definition and verification of design patterns, integration of protocol functions into middleware, distributed systems, automatically derived implementations, transformation based development, composition, interaction and orchestration of services. Extensions of formal methods from traditional notion of distributed systems to the case of massively parallel architectures, sensor networks and bio-inspired systems.

* Theoretical aspects of formal methods: new approaches and theories, extensions of description techniques, semantic foundations, real-time and probability aspects, semantics of domain specific languages, semantical foundations for UML notations.

* Practical experience with formal methods: reports and case studies of the use of formal methods and description techniques in the development and the validation of distributed systems.


Authors are invited to submit either regular (16 pages) or short papers (5 pages) that should be formatted according to Springer-Verlag LNCS guidelines. All papers must be in English, clear, complete and must be original contributions. Short papers have to be either devoted to describing work in progress or to the presentation and evaluation of tools. Practical experience papers can be either long or short. All submissions will be evaluated by the program committee for inclusion in the proceedings, which will be published by Springer-Verlag in the Lecture Notes in Computer Science series. Authors are required to submit a paper title and a short abstract not exceeding 200 words at the conference web site no later than February 18th, 2007.

Steering committee:

Gregor v. Bochmann (Canada)
Tommaso Bolognesi (Italy)
John Derrick (UK)
Ken Turner (UK)

Program Chairs:

John Derrick (UK)
JFCri Vain (Estonia)

Program committee:

G. V. Bochmann (Univ. of Ottawa, Canada) K. Bogdanov (Univ. of Sheffield, United Kingdom) T. Bolognesi (IEI Pisa, Italy) M. Bravetti (Univ. of Bologna, Italy) A. Cavalli (INT Evry, France) J. Derrick (Univ. of Sheffield, United Kingdom) L. Duchien (LIFL, France) C. Fidge (Australia) D. de Frutos-Escrig (Complutense Univ. of Madrid,Spain) H. Garavel (Inria, France) R. Gotzhein (Univ. of Kaiserslautern, Germany) S. Haddad (Lamsade-Paris Dauphine, France) T. Higashino (Univ. of Osaka, Japan) D. Hogrefe (Univ. of Gottingen, Germany) G. J. Holzmann (NASA/JPL, USA) P. Inverardi (University of L’Aquila, Italia) C. Jard (IRISA, France) M. Kim (ICU Taejon, Korea) H. Koenig (Brandenburg University of Technology, Germany) L. Logrippo (Univ. of Ottawa, Canada) J. Magee (Imperial College of London, United Kingdom) E. Najm (Infres ENST, France) M. Nunez (Complutense Univ. of Madrid, Spain) D. A. Peled (Univ. of Warwick, United Kingdom) A. Petrenko (CRIM Montreal, Canada) F. Plasil (Charles University, Prague) J.-F. Pradat-Peyre (Cedric-Cnam, France) W. Reisig (Humboldt-Universitat, Berlin) J.B. Stefani (Inria, France) K. Suzuki (UEC, Japan) P. Traverso (ITC-IRST, Italia) K. Turner (Univ. of Stirling, United Kingdom) H. Ural (Univ. of Ottawa, Canada) J. Vain (Tallinn University of Technology, Estonia) F. Wang (National Taiwan University, Taiwan)

To contribute to SEWORLD, send your submission to provides more information on SEWORLD as well as a complete archive of messages posted to the list.

To subscribe to SEWORLD, send the following (as the body of a message) to

subscribe seworld

To unsubscribe from SEWORLD, send the following (as the body of a message) to

unsubscribe seworld