4 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. 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
3. 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
4. Formal 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)
   2000-10-10/13 · Pisa, Italy
   Computer and information sciences
   e113t5k

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