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. In 2001, 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 2007 (Tallinn, Estonia)
• FORTE 2006 (Paris, France)
• FORTE 2005 (Taiwan)
• FORTE 2004 (Madrid, Spain)
• FORTE 2003 (Berlin, Germany)
• FORTE 2002 (Houston, Texas)
• FORTE 2001 (Cheju Island, Korea)
• FORTE/PSTV 2000 (Pisa, Italy)
• FORTE/PSTV 1999 (Beijing, China)
• FORTE/PSTV 1998 (Paris, France)
• FORTE/PSTV 1997 (Osaka, Japan)
• FORTE/PSTV 1996 (Kaiserslautern, Germany)