IFIP WG 6.1 International Conference on Formal Techniques for (Networked and) Distributed Systems (FORTE)

Formal Description Techniques for Distributed Systems and Communication Protocols

Venue statistics

records by year

document access 

    frequent authors

      43rd FORTE 2023: Lisbon, Portugal

      42nd FORTE 2022: Lucca, Italy

      41st FORTE 2021: Valletta, Malta

      40th FORTE 2020: Valletta, Malta

      39th FORTE 2019: Kongens Lyngby, Denmark

      38th FORTE 2018: Madrid, Spain

      37th FORTE 2017: Neuchâtel, Switzerland

      36th FORTE 2016: Heraklion, Crete, Greece

      35th FORTE 2015: Grenoble, France

      34th FORTE 2014: Berlin, Germany

      33rd FORTE / 15th FMOODS 2013: Florence, Italy

      32nd FORTE / 14th FMOODS 2012: Stockholm, Sweden

      31st FORTE / 13th FMOODS 2011: Reykjavik, Iceland

      30th FORTE / 12th FMOODS 2010: Amsterdam, The Netherlands

      29th FORTE / 11th FMOODS 2009: Lisboa, Portugal

      28th FORTE 2008: Tokyo, Japan

      27th FORTE 2007: Tallinn, Estonia

      26th FORTE 2006: Paris, France

      25th FORTE 2005: Taipei, Taiwan

      24th FORTE 2004: Madrid, Spain

      23rd FORTE 2003: Berlin, Germany

      22nd FORTE 2002: Houston, Texas, USA

      21st FORTE 2001: Cheju Island, Korea

      The merged FORTE/PSTV conference is just called FORTE since 2001.

      13th FORTE / 20th PSTV 2000: Pisa, Italy

      12th FORTE / 19th PSTV 1999: Beijing, China

      11th FORTE / 18th PSTV 1998: Paris, France

      10th FORTE / 17th PSTV 1997: Osaka, Japan

      9th FORTE / 16th PSTV 1996: Kaiserslautern, Germany

      8th FORTE 1995: Montreal, Canada

      7th FORTE 1994: Berne, Switzerland

      6th FORTE 1993: Boston, MA, USA

      5th FORTE 1992: Perros-Guirec, France

      4th FORTE 1991: Sydney, NSW, Australia

      3rd FORTE 1990: Madrid, Spain

      2nd FORTE 1989: Vancouver, BC, Canada

      1st FORTE 1988: Stirling Scotland, UK

      a service of  Schloss Dagstuhl - Leibniz Center for Informatics