conferences.computer.science

All conferences / FORTE / 2026

FORTE 2026

46th International Conference on Formal Techniques for Distributed Objects, Components, and Systems

Held8–12 Jun 2026 WhereUrbino 🇮🇹 RankCORE C Website www.discotec.org/2026/forte ↗
Closed

Submission closed on 20 Feb 2026, after an extension of 14 days.

Submission timeline

  • 13 Feb 2026 Abstract registration AoE 30 Jan 2026 → 13 Feb 2026 +14 days
  • 20 Feb 2026 Full paper AoE 6 Feb 2026 → 20 Feb 2026 +14 days
  • 24 Mar 2026 Notification
  • 8 Jun 2026 Conference opens

What to submit

Format
15 pages LNCS (regular / tool) + references / 6 (short / tool demo / journal)
Proceedings
Springer LNCS IFIP — Paywalled, for-profit
Reviewing
Single blind
Artifacts
Artifact evaluation mandatory for tool papers, optional for regular papers
Chairs and
invited speakers
Mixed genders How this is counted
Journal
Selected papers will be invited to a special issue of Logical Methods in Computer Science.
Co-located with
A DisCoTec Member Conference

Call for papers

The call, as published

Reproduced verbatim from the organisers’ announcement, after a deadline extension. The conference’s own page is at www.discotec.org/2026/forte. 

************************************************************************

Third Call for Papers

 DisCoTec 2026

 21st International Federated Conference on Distributed Computing Techniques

 Urbino, Italy, 8-12 June 2026

 Submission deadline: 20 February 2026

https://www.discotec.org/2026/

************************************************************************

DisCoTec 2026 is one of the major events sponsored by the International Federation for Information Processing (IFIP) and the European Association for Programming Languages and Systems (EAPLS). It gathers conferences and satellite events that cover a broad spectrum of distributed computing subjects — from theoretical foundations and formal description techniques, testing and verification methods, to language design and system implementation approaches. The three main conferences are:

* COORDINATION 2026 - 28th International Conference on Coordination Models and Languages

* DAIS 2026 - 26th International Conference on Distributed Applications and Interoperable Systems

* FORTE 2026 - 46th International Conference on Formal Techniques for Distributed Objects, Components, and Systems

DisCoTec 2026 is organised by the University of Urbino. 


* Important Dates (for all main conferences) *

  All deadlines expire at 23:59 anywhere on earth.

  - Abstract submission: 13 February 2026 (*new*)

  - Paper submission: 20 February 2026 (*new*)

 

  - Artefact submission: 27 February 2026 (*new*)

 

  - Artefact kick-the-tires - problem reports: 6 March 2026 (*new*)

  - Artefact kick-the-tires - author response: 13 March 2026 (*new*)

  - Paper and Artefact notification: 27 March 2026

  - Camera-ready: 3 April 2026 (hard)

  - DisCoTec conference: 8-12 June 2026

  See each conference site for topics of interest, paper categories, and submission instructions.


* Main Conferences *

  - COORDINATION (https://www.discotec.org/2026/coordination)

    28th International Conference on Coordination Models and Languages

    PC Chairs: Roberto Casadei (University of Bologna, Italy) and Fatemeh Ghassemi (University of Tehran, Iran)

  - DAIS (https://www.discotec.org/2026/dais)

    26th International Conference on Distributed Applications and Interoperable Systems

    PC Chairs: Ana Nunes Alonso (University of Minho & INESC TEC, Portugal) and Roberto Palmieri (Lehigh University, Pennsylvania)

  - FORTE (https://www.discotec.org/2026/forte)

    46th International Conference on Formal Techniques for Distributed Objects, Components and Systems

    PC Chairs: Laura Bocchi (University of Kent, UK) and Burcu Kulahcioglu Ozkan (TU Delft, The Netherlands)

Data entirely hand-typed, one call for papers at a time. There is no scraper behind any of this: I read the announcement and type the dates in, in the gaps between other work, and with the hope it is useful to others. Organisers then move deadlines without telling anyone, calls get edited in place, and now and then the typing is simply wrong. Treat this as a well-meaning notebook rather than an authority, and check the conference’s own page before you submit anything you care about.