IFIP Publications

• 
  IFIP WG6.1

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

• 
  Dirk Beyer, Michele Boreale (Eds.): 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. Springer 2013 Lecture Notes in Computer Science 7892 ISBN 978-3-642-38591-9 [ contents ]

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

• 
  Holger Giese, Grigore Rosu (Eds.): 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. Springer 2012 Lecture Notes in Computer Science 7273 ISBN 978-3-642-30792-8 [ contents ]

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

• 
  Roberto Bruni, Jürgen Dingel (Eds.): 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. Springer 2011 Lecture Notes in Computer Science 6722 ISBN 978-3-642-21460-8 [ contents ]

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

• 
  John Hatcliff, Elena Zucca (Eds.): 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. Springer 2010 Lecture Notes in Computer Science 6117 ISBN 978-3-642-13463-0 [ contents ]

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

• 
  David Lee, Antónia Lopes, Arnd Poetzsch-Heffter (Eds.): 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. Springer 2009 Lecture Notes in Computer Science 5522 ISBN 978-3-642-02137-4 [ contents ]

28. FORTE 2008: Tokyo, Japan

• 
  Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih (Eds.): Formal Techniques for Networked and Distributed Systems - FORTE 2008, 28th IFIP WG 6.1 International Conference, Tokyo, Japan, June 10-13, 2008, Proceedings. Springer 2008 Lecture Notes in Computer Science 5048 ISBN 978-3-540-68854-9 [ contents ]

27. FORTE 2007: Tallinn, Estonia

• 
  John Derrick, Jüri Vain (Eds.): Formal Techniques for Networked and Distributed Systems - FORTE 2007, 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings. Springer 2007 Lecture Notes in Computer Science 4574 ISBN 978-3-540-73195-5 [ contents ]

26. FORTE 2006: Paris, France

• 
  Elie Najm, Jean-François Pradat-Peyre, Véronique Donzeau-Gouge (Eds.): Formal Techniques for Networked and Distributed Systems - FORTE 2006, 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Springer 2006 Lecture Notes in Computer Science 4229 ISBN 3-540-46219-8 [ contents ]

25. FORTE 2005: Taipei, Taiwan

• 
  Farn Wang (Ed.): Formal Techniques for Networked and Distributed Systems - FORTE 2005, 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings. Springer 2005 Lecture Notes in Computer Science 3731 ISBN 3-540-29189-X [ contents ]

24. FORTE 2004: Madrid, Spain

• 
  David de Frutos-Escrig, Manuel Núñez (Eds.): Formal Techniques for Networked and Distributed Systems - FORTE 2004, 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings. Springer 2004 Lecture Notes in Computer Science 3235 ISBN 3-540-23252-4 [ contents ]
• 
  Manuel Núñez, Zakaria Maamar, Fernando L. Pelayo, Key Pousttchi, Fernando Rubio (Eds.): Applying Formal Methods: Testing, Performance and M/ECommerce, FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004. Springer 2004 Lecture Notes in Computer Science 3236 ISBN 3-540-23169-2 [ contents ]

23. FORTE 2003: Berlin, Germany

• 
  Hartmut König, Monika Heiner, Adam Wolisz (Eds.): Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 - October 2, 2003, Proceedings. Springer 2003 Lecture Notes in Computer Science 2767 ISBN 3-540-20175-0 [ contents ]

22. FORTE 2002: Houston, Texas, USA

• 
  Doron Peled, Moshe Y. Vardi (Eds.): Formal Techniques for Networked and Distributed Systems - FORTE 2002, 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings. Springer 2002 Lecture Notes in Computer Science 2529 ISBN 3-540-00141-7 [ contents ]

21. FORTE 2001: Cheju Island, Korea

• 
  Myungchul Kim, Byoungmoon Chin, Sungwon Kang, Danhyung Lee (Eds.): Formal Techniques for Networked and Distributed Systems, FORTE 2001, IFIP TC6/WG6.1 - 21^st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea. Kluwer 2001 IFIP Conference Proceedings 197 ISBN 0-7923-7470-3 [ contents ]

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

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

• 
  Tommaso Bolognesi, Diego Latella (Eds.): Formal Techniques for Distributed System Development, FORTE/PSTV 2000, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX), October 10-13, 2000, Pisa, Italy. Kluwer 2000 IFIP Conference Proceedings 183 ISBN 0-7923-7968-3 [ contents ]

Formal Methods Elsewhere: ENTCS 43

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

• 
  Jianping Wu, Samuel T. Chanson, Qiang Gao (Eds.): Formal Methods for Protocol Engineering and Distributed Systems, FORTE XII / PSTV XIX'99, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX), October 5-8, 1999, Beijing, China. Kluwer 1999 IFIP Conference Proceedings 156 ISBN 0-7923-8646-9 [ contents ]

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

• 
  Stanislaw Budkowski, Ana R. Cavalli, Elie Najm (Eds.): Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE XI / PSTV XVIII'98, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII), 3-6 November, 1998, Paris, France. Kluwer 1998 IFIP Conference Proceedings 135 ISBN 0-412-84760-4 [ contents ]

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

• 
  Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino (Eds.): Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE X / PSTV XVII'97, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII), 18-21 November, 1997, Osaka, Japan. Chapman & Hall 1998 IFIP Conference Proceedings 107 ISBN 0-412-82060-9 [ contents ]
• 
  FORTE/PSTV 1997 Home Page

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

• 
  Reinhard Gotzhein, Jan Bredereke (Eds.): Formal Description Techniques IX: Theory, application and tools, IFIP TC6 WG6.1 International Conference on Formal Description Techniques IX / Protocol Specification, Testing and Verification XVI, Kaiserslautern, Germany, 8-11 October 1996. Chapman & Hall 1996 IFIP Conference Proceedings 69 ISBN 0-412-79490-X [ contents ]

8. FORTE 1995: Montreal, Canada

• 
  Gregor von Bochmann, Rachida Dssouli, Omar Rafiq (Eds.): Formal Description Techniques VIII, Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995. Chapman & Hall 1996 IFIP Conference Proceedings 43 ISBN 0-412-73270-X [ contents ]

7. FORTE 1994: Berne, Switzerland

• 
  Dieter Hogrefe, Stefan Leue (Eds.): Formal Description Techniques VII, Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques, Berne, Switzerland, 1994. Chapman & Hall 1995 IFIP Conference Proceedings 6 ISBN 0-412-64450-9 [ contents ]

6. FORTE 1993: Boston, MA, USA

• 
  Richard L. Tenney, Paul D. Amer, M. Ümit Uyar (Eds.): Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques - FORTE '93, Boston, MA, USA, 26-29 October 1993. North-Holland 1994 IFIP Transactions C-22 ISBN 0-444-81773-5 [ contents ]

5. FORET 1992: Perros-Guirec, France

• 
  Michel Diaz, Roland Groz (Eds.): Formal Description Techniques, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '92, Perros-Guirec, France, 13-16 October 1992. North-Holland 1993 IFIP Transactions C-10 ISBN 0-444-89282-6 [ contents ]

4. FORTE 1991: Sydney, NSW, Australia

• 
  Ken R. Parker, Gordon A. Rose (Eds.): Formal Description Techniques, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991. North-Holland 1992 IFIP Transactions C-2 ISBN 0-444-89402-0 [ contents ]

3. FORTE 1990: Madrid, Spain

• 
  Juan Quemada, José A. Mañas, Enrique Vázquez (Eds.): Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990. North-Holland 1991 ISBN 0-444-89024-6 [ contents ]

2. FORTE 1989: Vancouver, BC, Canada

• 
  Son T. Vuong (Ed.): Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE'89, Vancouver, BC, Canada, 5-8 December, 1989. North-Holland 1990 ISBN 0-444-88544-7 [ contents ]

1. FORTE 1988: Stirling Scotland, UK

• 
  Kenneth J. Turner (Ed.): Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988. North-Holland 1989 ISBN 0-444-87126-8 [ contents ]