Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.
confreflabs
Menu

Conference series Beta

IFIP International Conference on Formal Techniques for Distributed Objects, Components, and Systems

FORTE
Events
40 (1988 to 2026)
Academic field
Natural sciences: Mathematics, Computer and information sciences
Disciplines
computer science, distributed algorithm, Distributed algorithmic mechanism design, distributed computing
Identifier
https://id.confref.org/series/s109q69

Events (40)

19882026

YearNo.EventPlaceDate
202646Formal Techniques for Distributed Objects, Components, and Systems - 46th IFIP WG 6.1 International Conference, FORTE 2026, Held as Part of the 21st International Federated Conference on Distributed Computing Techniques, DisCoTec 2026, Urbino, Italy, June 8-12, 2026, Proceedings
Urbino
202545Formal Techniques for Distributed Objects, Components, and Systems - 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings
Lille
202444Formal Techniques for Distributed Objects, Components, and Systems - 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings
Kingdom of the Netherlands
20234343rd International Conference on Formal Techniques for Distributed Objects, Components, and Systems
FORTE 2023
Lisbon2023-06-19/23
20224242nd International Conference on Formal Techniques for Distributed Objects, Components, and Systems
FORTE 2022
Lucca2022-06-13/17
20214141st International Conference on Formal Techniques for Distributed Objects, Components, and Systems
FORTE 2021
Valletta2021-06-14/18
20204040th International Conference on Formal Techniques for Distributed Objects, Components, and Systems
FORTE 2020
Valletta2020-06-15/19
20193939th International Conference on Formal Techniques for Distributed Objects, Components, and Systems
FORTE 2019, FORTE
Lundtofte Station2019-06-17/21
20183838th International Conference on Formal Techniques for Distributed Objects, Components, and Systems
FORTE 2018, FORTE
Madrid2018-06-18/21
201737International Conference on Formal Techniques for Distributed Objects, Components, and Systems
FORTE
Neuchâtel2017-06-19/22
201636International Conference on Formal Techniques for Distributed Objects, Components, and Systems
FORTE
Heraklion2016-06-06/09
201535International Conference on Formal Techniques for Distributed Objects, Components, and Systems
FORTE
Grenoble2015-06-02/05
201434International Conference on Formal Techniques for Distributed Objects, Components, and Systems
FORTE
Berlin2014-06-03/05
2013Formal 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
FMOODS, FORTE
Florence2013-06-03/05
2012Formal 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
FMOODS, FORTE
Stockholm2012-06-13/16
2011Formal 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
FMOODS, FMOODS/FORTE 2011, FORTE
Reykjavík2011-06-06/09
2010Formal 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
FMOODS, FMOODS/FORTE 2010, FORTE
Amsterdam2010-06-07/09
2009Formal 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
FORTE
Lisbon2009-06-09/12
20082828th IFIP WG6.1 International Conference on Formal Techniques for Networked and Distributed Systems
FORTE 2008, FORTE
Tokyo2008-06-10/13
200727International Conference on Formal Techniques for Networked and Distributed Systems
FORTE
Tallinn2007-06-27/29
200626International Conference on Formal Techniques for Networked and Distributed Systems
FORTE
Paris2006-09-26/29
200525International Conference on Formal Techniques for Networked and Distributed Systems
FORTE
Taipei2005-10-02/05
200424International Conference on Formal Techniques for Networked and Distributed Systems
FORTE
Madrid2004-09-27 to 2004-10-02
2004Applying Formal Methods: Testing, Performance and M/ECommerce, FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004
Toledo
200323International Conference on Formal Techniques for Networked and Distributed Systems
FORTE
Berlin2003-09-29 to 2003-10-02
200222International Conference on Formal Techniques for Networked and Distributed Systems
FORTE
Houston2002-11-11/14
200121International Conference on Formal Techniques for Networked and Distributed Systems
FORTE
Jeju Island2001-08-28/31
2000Formal 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
Pisa2000-10-10/13
1999Formal 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
Beijing1999-10-05/08
1998Formal 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
Paris1998-01-01
1997Formal 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
Osaka1997-01-01
1996Formal 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
Kaiserslautern1996-10-08/11
1995Formal Description Techniques VIII, Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995
FORTE
Montreal1995-01-01
19947Formal Description Techniques VII, Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques, Berne, Switzerland, 1994
FORTE
Bern1994-01-01
1993Formal 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
FORTE
Boston1993-10-26/29
1992Formal 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
FORTE
Perros-Guirec1992-10-13/16
1991Formal 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
FORTE
Sydney1991-11-19/22
1990Formal 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
FORTE
Madrid1990-11-05/08
1989Formal 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
FORTE
Vancouver1989-01-01
1988Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988
FORTE
Stirling1988-01-01

The events on the map · in the search · calendar of coming events

Ratings

As the rating systems gave them at the date shown; a rating dataset keeps them as its source published them.

SystemValueDateDataset
CCFC2017-04-06ratings-springer-lod
COREA2017-04-06ratings-springer-lod
GII-GRIN-SCIEB2017-04-06ratings-springer-lod
QualisB2017-04-06ratings-springer-lod

Sources

The records of the sources that this identifier brings together (cr:sameAs).

Springer LOD (2018)
  • http://lod.springer.com/data/confseries/forte
confref portal (2020)
ConfIDent
Wikidata
dblp

Cite

IFIP International Conference on Formal Techniques for Distributed Objects, Components, and Systems. confref identifier s109q69. https://id.confref.org/series/s109q69

Data: Turtle · JSON-LD · N-Triples · RDF/XML

APIs · SPARQL · About the identifiers

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.