| 2001 | | Protocol Specification, Testing and Verification PSTV | Jeju Island | 2001-08-28/31 |
| 2000 | | 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 FORTE | Pisa | 2000-10-10/13 |
| 2000 | | Protocol Specification, Testing and Verification PSTV | Pisa | 2000-10-10/13 |
| 2000 | | Formal Methods Elsewhere - a Satellite Workshop of FORTE-PSTV-2000 devoted to applications of formal methods to areas other than communication protocols and software engineering, FM-Elsewhere 2000, Pisa, Italy, October 2000 | Pisa | |
| 1999 | | 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 FORTE, PSTV | Beijing | 1999-10-05/08 |
| 1998 | | 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 FORTE, PSTV | Paris | 1998-01-01 |
| 1997 | | 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 FORTE, PSTV | Osaka | 1997-01-01 |
| 1996 | | 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 FORTE, PSTV | Kaiserslautern | 1996-10-08/11 |
| 1995 | | Protocol Specification, Testing and Verification XV, Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995 PSTV | Warsaw | 1995-01-01 |
| 1994 | | Protocol Specification, Testing and Verification XIV, Proceedings of the Fourteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Vancouver, BC, Canada, 1994 PSTV | Vancouver | 1994-01-01 |
| 1993 | | Protocol Specification, Testing and Verification XIII, Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification, Liège, Belgium, 25-28 May, 1993 PSTV | Liège | 1993-01-01 |
| 1992 | | Protocol Specification, Testing and Verification XII, Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, USA, 22-25 June 1992 PSTV 1992, PSTV | Lake Buena Vista | 1992-06-22/25 |
| 1991 | | Protocol Specification, Testing and Verification XI, Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Stockholm, Sweden, 18-20 June 1991 PSTV | Stockholm | 1991-06-18/20 |
| 1990 | | Protocol Specification, Testing and Verification X, Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990 PSTV | Ottawa | 1990-01-01 |
| 1989 | | Protocol Specification, Testing and Verification IX, Proceedings of the IFIP WG6.1 Ninth International Symposium on Protocol Specification, Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989 PSTV | Kingdom of the Netherlands | 1989-01-01 |
| 1988 | | Protocol Specification, Testing and Verification PSTV | Atlantic City | 1988-01-01 |
| 1987 | | Protocol Specification, Testing and Verification VII, Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification, Zurich, Switzerland, 5-8 May, 1987 PSTV | Zurich | 1987-01-01 |
| 1986 | | Protocol Specification, Testing and Verification PSTV | Canada | 1986-01-01 |
| 1985 | | Protocol Specification, Testing and Verification V, Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification, Toulouse-Moissac, France, June 10-13, 1985 PSTV | France | 1985-06-10/13 |
| 1984 | | Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984 PSTV | Skytop Lodge | 1984-06-11/14 |
| 1983 | | Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983 PSTV | Rüschlikon | 1983-01-01 |
| 1982 | | Protocol Specification, Testing and Verification, Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982 PSTV | Idyllwild Arts Academy | 1982-01-01 |
| 1981 | | Protocol Specification, Testing and Verification PSTV | Teddington | 1981-01-01 |
