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:

Artefact Submission Instructions 📣

We invite you to also submit an associated artefact for evaluation (AE). Artefacts such as ancillary data, tools, and software will be assessed for availability, functionality, and reusability badges.

Instructions on how to upload artefacts can be found here.

As advertised in the call for papers, artefact submissions are mandatory for tool papers and optional for regular papers. Tool papers must submit an artefact that, at least, satisfies the requirements for the Functional badge. Papers not meeting this clause are rejected. Moreover, the acceptance of artefacts is conditional on the tool paper being accepted.

Choose the “FORTE 2025 Artefact Evaluation” track in EasyChair when submitting your artefact.

Submission Link

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

Steering committee

More Information

For additional information, please contact the Program Committee Co-chairs: forte2025 at easychair dot org