30th Anniversary Celebration

In 2010 we celebrated the 30th edition of FORTE. During celebration sessions our invited speakers took a look at FORTE and its contribution to computer science over the past years. To remind yourselves of their presentations we are happy to provide you with their slides.

30 years of FORTE

• Gregor von Bochmann on The early times of protocol engineering ppt-slides (1,1MB).
• Ed Brinksma on Testing Times: 20 Years of Research and Collaboration in Testing ppt-slides (1,9MB).
• Tommaso Bolohnesi on Is the Big-Bang Object-Oriented? pdf-slides (3,8MB).
• Gianluigi Zavattaro on Moving to the Cloud pdf-slides (3,5MB).

A short history of FORTE

FORTE traces its heritage back to the Protocol Specification, Testing and Verification (PSTV) conference first held in 1981 at Teddington, UK.

In 1988 the First International Conference on Formal Description Techniques at Stirling, UK gives birth to the acronym FORTE.

In 1996 PSTV and FORTE joined their forces at Kaiserslautern, Germany.

In 1997 FORTE extended its scope to Formal Description Techniques and Protocol Specification, Testing and Verification at Osaka, Japan.

In 1999 FORTE distribution changed it to Formal Description Techniques for Distributed Systems and Communication Protocols at Bejing, China.

In 2001 FORTE became networked as Formal Techniques for Networked and Distributed System at Cheju Island, Korea.

In 2009 FORTE and FMOODS joined their forces at Oslo, Norway.

In 2010 we celebrated FORTE's 30th Anniversary.

In 2011 FMOODS & FORTE will be part of DisCoTec 2011 in Reykjavik, Iceland.