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

History of FORTE

Forte denotes a series of international working conferences on formal description techniques (FDTs) applied to computer networks and distributed systems. The conference series started in 1981 under the name PSTV. In 1988 a second series under the name FORTE was set up. Both series were united to FORTE / PSTV in 1996. Two years ago the conference changed the name to its current form. FORTE provides a forum for researchers and users to review, discuss, and learn about new approaches, concepts, and experiences in the field of formal description techniques and their application.
FORTE 2005 (Taiwan)
FORTE 2004 (Madrid, Spain)
FORTE 2003 (Berlin, Germany)
FORTE 2002 (Houston, Texas)
FORTE 2001 (Cheju Island, Korea)
FORTE 2000 (Pisa, Italy)
FORTE 1999 (Beijing, China)
FORTE 1998 (Paris, France)