International Conference on Formal Techniques for Networked and Distributed Systems
From Wikipedia, the free encyclopedia
The IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE) is part of the federated conference event DisCoTec[1] (Distributed Computing Techniques) which also includes the International Conference on Coordination Models and Languages (COORDINATION) and the IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS).
Until 2013, the conference was held as IFIP Joint International Conference on Formal Techniques for Distributed Systems and consisted of the two conference series FMOODS and FORTE.