FORTE 2019 - 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems

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

Keynote Speakers


FORTE 2019 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:

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:

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. They 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

This year, FORTE accepts contributions in three categories: regular (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.

  1. Regular (full) papers (page limit: up to 15 pages + 2 pages references)

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

  2. 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.

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

    This is a new category, which aims at including published journal papers in the FORTE 2019 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, 2017 (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.

    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, regardless of category, will be published in the FORTE 2019 formal proceedings, which will appear in Springer’s LNCS-IFIP volume series.

Special Issue

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

Program committee chairs

Program comitteee members

Steering committee

More Information

For additional information, please contact the Program Committee Co-chairs: