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.

40 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. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE)
    2017-06-19/22 · Neuchâtel, Switzerland
    Computer and information sciences
    e103e8t
  11. International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE)
    2016-06-06/09 · Heraklion, Greece
    Computer and information sciences
    e103e7w
  12. International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE)
    2015-06-02/05 · Grenoble, France
    Computer and information sciences
    e103e6y
  13. International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE)
    2014-06-03/05 · Berlin, Germany
    Computer and information sciences
    e103e50
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
  20. International Conference on Formal Techniques for Networked and Distributed Systems (FORTE)
    2007-06-27/29 · Tallinn, Estonia
    Computer and information sciences
    e103e34
  21. International Conference on Formal Techniques for Networked and Distributed Systems (FORTE)
    2006-09-26/29 · Paris, France
    Computer and information sciences
    e103e26
  22. International Conference on Formal Techniques for Networked and Distributed Systems (FORTE)
    2005-10-02/05 · Taipei, Taiwan
    Computer and information sciences
    e103e18
  23. 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
  24. 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
  25. International Conference on Formal Techniques for Networked and Distributed Systems (FORTE)
    2003-09-29 to 2003-10-02 · Berlin, Germany
    Computer and information sciences
    e103dzc

As JSON: https://labs.confref.org/api/search?kind=event&field=1&series=s109q69