CFP summary
FORTE 2026 is the 46th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, one of the conferences within DisCoTec 2026. FORTE is a forum for fundamental research on theory, models, tools, and applications for distributed systems, with a strong emphasis on formally modeling, implementing, and validating increasingly critical distributed software. The conference welcomes foundational work as well as rigorous case studies and industrial applications of formal methods for distributed computing.
Topics
Formal techniques for distributed systems; language concepts for concurrency and distribution; testing and verification of concurrent and distributed systems; communication and network protocols; service-oriented and adaptive distributed systems; cyber-physical and sensor systems; qualitative and quantitative security analysis; reliability, availability, and safety of concrete distributed systems; distributed ledgers, smart contracts, and blockchain technologies.