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

Search Beta

Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.

41 results · clear filters Sort: newest oldest name

  1. Formal 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
    2026 · Urbino, Italy
    Computer and information sciences
    e113tht
  2. IFIP International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE)
    series, 40 events, 1988 to 2026
    MathematicsComputer and information sciences
    s109q69
  3. Formal 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
    2025 · Lille, France
    Computer and information sciences
    e113tgw
  4. Formal 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
    2024 · Kingdom of the Netherlands
    Computer and information sciences
    e113tfz
  5. 43rd International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2023)
    2023-06-19/23 · Lisbon, Portugal
    MathematicsComputer and information sciences
    e113te1
  6. 42nd International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2022)
    2022-06-13/17 · Lucca, Italy
    MathematicsComputer and information sciences
    e113td3
  7. 41st International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2021)
    2021-06-14/18 · Valletta, Malta
    MathematicsComputer and information sciences
    e113tc5
  8. 40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2020)
    2020-06-15/19 · Valletta, Malta · online
    MathematicsComputer and information sciences
    e113tb7
  9. 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2019, FORTE)
    2019-06-17/21 · Lundtofte Station, Denmark
    MathematicsComputer and information sciences
    e113ta9
  10. 38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2018, FORTE)
    2018-06-18/21 · Madrid, Spain
    MathematicsComputer and information sciences
    e113t9b
  11. International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE)
    2017-06-19/22 · Neuchâtel, Switzerland
    Computer and information sciences
    e103e8t
  12. International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE)
    2016-06-06/09 · Heraklion, Greece
    Computer and information sciences
    e103e7w
  13. International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE)
    2015-06-02/05 · Grenoble, France
    Computer and information sciences
    e103e6y
  14. International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE)
    2014-06-03/05 · Berlin, Germany
    Computer and information sciences
    e103e50
  15. 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 (FMOODS, FORTE)
    2013-06-03/05 · Florence, Italy
    Computer and information sciences
    e113t8d
  16. 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 (FMOODS, FORTE)
    2012-06-13/16 · Stockholm, Sweden
    Computer and information sciences
    e113t7f
  17. 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 (FMOODS, FMOODS/FORTE 2011)
    2011-06-06/09 · Reykjavík, Iceland
    Computer and information sciences
    e10dwde
  18. 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 (FMOODS, FMOODS/FORTE 2010)
    2010-06-07/09 · Amsterdam
    Computer and information sciences
    e10dwec
  19. 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 (FORTE)
    2009-06-09/12 · Lisbon, Portugal
    Computer and information sciences
    e113t6h
  20. 28th IFIP WG6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2008, FORTE)
    2008-06-10/13 · Tokyo, Japan
    MathematicsComputer and information sciences
    e103e42
  21. International Conference on Formal Techniques for Networked and Distributed Systems (FORTE)
    2007-06-27/29 · Tallinn, Estonia
    Computer and information sciences
    e103e34
  22. International Conference on Formal Techniques for Networked and Distributed Systems (FORTE)
    2006-09-26/29 · Paris, France
    Computer and information sciences
    e103e26
  23. International Conference on Formal Techniques for Networked and Distributed Systems (FORTE)
    2005-10-02/05 · Taipei, Taiwan
    Computer and information sciences
    e103e18
  24. International Conference on Formal Techniques for Networked and Distributed Systems (FORTE)
    2004-09-27 to 2004-10-02 · Madrid, Spain
    Computer and information sciences
    e103e0a
  25. Applying Formal Methods: Testing, Performance and M/ECommerce, FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004
    2004 · Toledo, Spain
    Computer and information sciences
    e113tjr

As JSON: https://labs.confref.org/api/search?series=s109q69