FORTE 2025 - 45th International Conference on Formal Techniques for Distributed Objects, Components, and Systems

FORTE 2025 is one of the three conferences of DisCoTec 2025, the 20th International Federated Conference on Distributed Computing Techniques.

Topics of Interest

FORTE 2025 is a forum for fundamental research on theory, models, tools, and applications for distributed systems.

We invite submissions focused on foundational aspects of distributed software systems, presenting approaches or tools to formally model, soundly implement, and rigorously validate these demanding but ever more necessary systems and applications. As our dependency on such software systems grow, also our responsibility as researchers grows to provide both trustworthy and usable solutions.

The main topics of interest include:

Submission and Publication

Categories of Papers

We solicit papers in the following categories:

TBA

Publication

Publication of proceedings is coordinated among the three DisCoTec conferences (see the Conferences page for details). The FORTE proceedings will be published by Springer as an LNCS-IFIP volume and will comprise accepted submissions from all categories.

Special Issue

Selected papers will be invited to a special issue of Logical Methods in Computer Science.

Program Committee Chairs

Program Committee Members

Artefact Evaluation Committee chair

Artefact Evaluation Committee

TBA

Steering committee

More Information