International Conference on Formal Techniques for Networked and Distributed Systems とは

分散オブジェクト、コンポーネントおよびシステムのための形式的技術に関するIFIP国際会議(FORTE)は、フェデレーション会議のイベントDisCoTec(分散コンピューティング技術)の一部であり、協調モデルと言語に関する国際会議(コーディネーション)とIFIP国際会議分散アプリケーションと相互運用システム(DAIS)
2013年までは、会議は分散システムの形式技術に関するIFIP共同国際会議として開催され、2つの会議シリーズFMOODSとFORTEで構成されていました。