IFIP Digital Library

Formal Techniques for Networked and Distributed Systems

2020: Valletta, Malta

Formal Techniques for Distributed Objects, Components, and Systems - 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, FORTE 2020, Valletta, Malta, June 15-19, 2020, Alexey Gotsman, Ana Sokolova, 2020: Valletta, Malta

2013: Florence, Italy

Formal Techniques for Distributed Systems - Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings, Dirk Beyer, Michele Boreale, 2013: Florence, Italy

2012: Stockholm, Sweden

Formal Techniques for Distributed Systems - Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings, Holger Giese, Grigore Rosu, 2012: Stockholm, Sweden

2011: Reykjavik, Iceland

Formal Techniques for Distributed Systems - Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 31st IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings, Roberto Bruni, Jürgen Dingel, 2011: Reykjavik, Iceland

2010: Amsterdam, The Netherlands

Formal Techniques for Distributed Systems, Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings, John Hatcliff, Elena Zucca, 2010: Amsterdam, The Netherlands

2009: Lisboa, Portugal

Formal Techniques for Distributed Systems, Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings, David Lee, Antónia Lopes, Arnd Poetzsch-Heffter, 2009: Lisboa, Portugal

2008: Tokyo, Japan

Formal Techniques for Networked and Distributed Systems - FORTE 2008, 28th IFIP WG 6.1 International Conference, Tokyo, Japan, June 10-13, 2008, Proceedings, Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih, 2008: Tokyo, Japan

2007: Tallinn, Estonia

Formal Techniques for Networked and Distributed Systems - FORTE 2007, 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings, John Derrick, Jüri Vain, 2007: Tallinn, Estonia

2006: Paris, France

Formal Techniques for Networked and Distributed Systems - FORTE 2006, 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006., Elie Najm, Jean-François Pradat-Peyre, Véronique Donzeau-Gouge, 2006: Paris, France

2004: Madrid, Spain

Formal Techniques for Networked and Distributed Systems - FORTE 2004, 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings, David de Frutos-Escrig, Manuel Núñez, 2004: Madrid, Spain