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

Formal Description Techniques for Distributed Systems and Communication Protocols

IFIP Publications

Part of DisCoTec

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