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.

8 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

As JSON: https://labs.confref.org/api/search?series=s109q69&from=2020&to=2029