11 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. 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?field=1&discipline=Q180634&series=s109q69