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

      Part of DisCoTec

      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

      36. FORTE 2016: Heraklion, Crete, Greece

      35. FORTE 2015: Grenoble, France

      34. FORTE 2014: Berlin, Germany

      33. FORTE / 15. FMOODS 2013: Florence, Italy

      32. FORTE / 14. FMOODS 2012: Stockholm, Sweden

      31. FORTE / 13. FMOODS 2011: Reykjavik, Iceland

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

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

      28. FORTE 2008: Tokyo, Japan

      27. FORTE 2007: Tallinn, Estonia

      26. FORTE 2006: Paris, France

      25. FORTE 2005: Taipei, Taiwan

      24. FORTE 2004: Madrid, Spain

      23. FORTE 2003: Berlin, Germany

      22. FORTE 2002: Houston, Texas, USA

      21. FORTE 2001: Cheju Island, Korea

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

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

      Formal Methods Elsewhere: ENTCS 43

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

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

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

      FORTE/PSTV 1997 Home Page

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

      8. FORTE 1995: Montreal, Canada

      7. FORTE 1994: Berne, Switzerland

      6. FORTE 1993: Boston, MA, USA

      5. FORET 1992: Perros-Guirec, France

      4. FORTE 1991: Sydney, NSW, Australia

      3. FORTE 1990: Madrid, Spain

      2. FORTE 1989: Vancouver, BC, Canada

      1. FORTE 1988: Stirling Scotland, UK

      a service of  Schloss Dagstuhl - Leibniz Center for Informatics