FORTE: Formal Techniques for (Networked and) Distributed Systems



Past:   Proceedings on DBLP

Future:  Post a CFP for 2024 or later   |   Invite the Organizers Email


All CFPs on WikiCFP

Event When Where Deadline
FORTE 2023 43rd International Conference on Formal Techniques for Distributed Objects, Components, and Systems
Jun 19, 2023 - Jun 23, 2023 Lisbon, Portugal Feb 10, 2023 (Feb 3, 2023)
FORTE 2017 Formal Techniques for (Networked and) Distributed Systems
Mar 30, 2015 - Jan 30, 2018 shanghai, China TBD
FORTE 2016 36th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems
Jun 6, 2016 - Jun 9, 2016 Heraklion, Crete, Greece Feb 8, 2016 (Feb 1, 2016)
FORTE 2014 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems
Jun 3, 2014 - Jun 6, 2014 Berlin, Germany Feb 7, 2014 (Feb 1, 2014)
FORTE 2011 31th IFIP International Conference on FORmal TEchniques for Networked and Distributed Systems.
Jun 6, 2011 - Jun 9, 2011 Reykjavik, Iceland Feb 13, 2011 (Feb 6, 2011)

Present CFP : 2023


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

The conference solicits original contributions that advance the science and technology for distributed systems, with special interest in:

* Component- and model-based design
* Cyber-physical systems, autonomous systems, and AI-enabled systems design and trustworthiness
* Object technology, modularity, software adaptation
* Self-stabilization and self-healing/organizing
* Software quality, reliability, availability, and safety
* Security, privacy, and trust in distributed and/or communicating systems
* Service-oriented, ubiquitous, and cloud computing systems
* Verification, validation, formal analysis, and testing of the above.

Aligned with the above, FORTE covers models and formal specification, testing and verification methods for distributed computing. Application domains are multiple, and include all kinds of application-level distributed systems, telecommunication services, Internet, embedded and real-time systems, as well as networking and communication security and reliability.

Contributions that combine theory and practice and that exploit formal methods and theoretical foundations to present novel solutions to problems arising from the development of distributed systems are very much encouraged.

Main Topics of Interest

Topics of interest include but are not limited to:

Languages and semantic foundations

New modeling and language concepts for distribution and concurrency; semantics for different types of languages, including programming languages, modeling languages, and domain-specific languages; real-time and probability aspects

Rigorous analysis techniques

Design, specification, analysis, verification, validation, testing and runtime verification of various types of distributed systems, including communications and network protocols, service-oriented systems, adaptive distributed systems, cyber-physical systems and sensor networks

Foundations of security

New principles for qualitative and quantitative security analysis of distributed systems, including formal models based on probabilistic concepts

Applications of formal methods

Applying formal methods and techniques for studying quality, reliability, availability, and safety of distributed systems

Practical experience with formal methods

Industrial applications, case studies and software tools for applying formal methods and description techniques to the development and analysis of real distributed systems.

Emerging challenges and hot topics in distributed systems (broadly construed)

Formal specification, verification and analysis of emerging systems and applications, such as, for instance, software-defined networks, distributed ledgers, smart contracts, and blockchain technologies.

Submission, Publication, and Special Issue

Submission dates
See the DisCoTec submission dates.

Submission Guidelines
Contributions must be written in English according to one of the three categories described below. Apart from journal-first papers, all papers should report on original, unpublished work, not submitted for publication elsewhere (cf. IFIP codes of conduct, under Links).

Submissions must be prepared as a PDF using Springer’s LNCS style. Submissions not adhering to the specified constraints of their respective category may be rejected without review.

Submission Categories
FORTE accepts contributions in three categories: full papers, short papers, and journal-first papers. These categories and their associated criteria are described in detail below.

Notice that short and journal-first papers must be explicitly marked as such in the submission’s title.

Full papers (page limit: up to 15 pages + 2 pages references)

A full paper submission describes thorough and complete research results in the scope of the conference.

Short papers (page limit: up to 6 pages + 2 pages references)

A short paper submission can be one of the following:

Rough diamonds: Extended abstracts presenting innovative and promising ideas, possibly in an early form and without supporting evidence.
Tool (demonstration) papers: Extended abstracts describing (or demonstrating) new tools (or tool components) that implement (or build upon) theoretical foundations.
Position papers : Extended abstracts describing (i) calls to action, or (ii) substantiated reflections on current and/or future research perspectives related to FORTE.
Short paper submissions must be marked as such in the submission’s title.

“Journal First” papers (page limit: up to 4 pages, including references)

This category aims at including published journal papers in the FORTE 2023 program. The objective is to offer FORTE attendees a richer program and further opportunities for interaction.

Authors of published papers in high-quality journals can submit a proposal to present their journal paper in FORTE. The journal paper must adhere to the following four criteria:

It should be clearly in the scope of the conference.
It should be recent: only journal papers available after January 1, 2021 (online or paper) can be presented.
It reports new research results that significantly extend prior work. As such, the journal paper does not simply extend prior work with material presented for completeness only (such as omitted proofs, algorithms, minor enhancements, or empirical results).
It has not been presented at, and is not under consideration for, journal-first programs of other similar conferences or workshops.
A journal-first submission is a concise but compelling summary of the published journal paper, which makes it clear why a related presentation would enrich the program of FORTE.

Journal-first submissions must be marked as such in the submission’s title, and must explicitly include pointers to the journal publication (such as a DOI) but also to related conference and workshop papers, as appropriate. They will be judged on the basis of the above criteria, but also considering relevance and the potential of enriching and complementing the conference program.

All accepted papers, including short papers and journal-first submissions, will be published in the FORTE 2023 formal proceedings, which will appear in Springer’s LNCS-IFIP volume series. As such, they will be accessible free of charge from the IFIP Digital Library after a 3 years embargo.

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

Submission Link

Program committee chairs

Marieke Huisman, University of Twente, Netherlands
António Ravara, NOVA University Lisbon, Portugal
Program committee members
To be announced.

Steering committee

Ahmed Bouajjani (University Paris Diderot, France)
Christel Baier (University Dresden, Germany)
Frank de Boer (CWI, Netherlands)
Luís Caires (Universidade Nova de Lisboa, Portugal)
Alexey Gotsman (IMDEA Software Institute, Spain)
Einar Broch Johnsen (University of Oslo, Norway)
Ivan Lanese (University of Bologna/INRIA, Italy – Chair)
Jorge A. Pérez (University of Groningen, The Netherlands)
Alexandra Silva (University College London, UK)
Ana Sokolova (University of Salzburg, Austria)
Jean-Bernard Stefani (INRIA, France)
Nobuko Yoshida (Imperial College London, UK)
Heike Wehrheim (Paderborn University, Germany)
Tim Willemse (Eindhoven University of Technology, The Netherlands)

More Information

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

Related Resources

PCDS 2024   The 1st International Symposium on Parallel Computing and Distributed Systems
SOMET 2025   24th International Conference on Intelligent Software Methodologies Tools and Techniques
DSML 2024   5th International Conference on Data Science and Machine Learning
IJP2P 2024   International Journal of Peer-to-Peer networks
OPODIS 2024   International Conference on Principles of Distributed Systems
ICCAD 2024   43rd International Conference on Computer-Aided Design
IJPLA 2024   International Journal of Programming Languages and Applications
FM 2024   Formal Methods
doors 2025   5th Edge Computing Workshop
SRDS 2024   The 43rd International Symposium on Reliable Distributed Systems (SRDS 2024)