Skip to content

FORTE 2027

International Conference on Formal Techniques for (Networked and) Distributed Systems

Networking
135days left

Abstract · Feb 13, 2027 est.

On the horizon · deadline is AoE (UTC-12)

Add to Google Calendar

All deadlines

AbstractFeb 13, 2027est.
Paper submissionFeb 20, 2027est.

From past proceedings

Papers in FORTE's main DBLP volume each year, not official acceptance counts.

Full proceedings stats →

Papers in 2025

14

main DBLP volume

5-year change

+8%

vs 2020

Papers, all years

962

39 years since 1988

Authors per paper

3.4

2.6 in 2015

By an entirely new team

21%

of 2025 papers

Papers per year1988 to 2025
1988: 28 papers1989: 41 papers1990: 57 papers1991: 40 papers1992: 31 papers1993: 30 papers1994: 42 papers1995: 32 papers1996: 32 papers1997: 36 papers1998: 28 papers1999: 28 papers2000: 25 papers2001: 28 papers2002: 26 papers2003: 27 papers2004: 23 papers2005: 44 papers2006: 33 papers2007: 23 papers2008: 21 papers2009: 19 papers2010: 18 papers2011: 22 papers2012: 16 papers2013: 21 papers2014: 18 papers2015: 15 papers2016: 18 papers2017: 17 papers2018: 10 papers2019: 18 papers2020: 13 papers2021: 15 papers2022: 12 papers2023: 13 papers2024: 13 papers2025: 14 papers
Read the 2025 proceedingsProceedings ↗DBLP ↗

Top keywords, 2025

smartverification

Venues like FORTE

  1. CONCUR International Conference on Concurrency Theory0.12bisimilaritytimedbranchingchecking
  2. TASE Theoretical Aspects of Software Engineering0.07timedpetriverifyingchecking
  3. CAV International Conference on Computer-Aided Verification0.07checkercheckingverifyingtimed
  4. POPL ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages0.06verifyingpolyhedralnoninterferencebisimilarity

Most published at FORTE

  1. Gregor von Bochmann1989 to 200916
  2. Manuel Núñez1995 to 201313
  3. David de Frutos-Escrig1989 to 201612
  4. Teruo Higashino1993 to 200512
  5. Kenneth J. Turner1989 to 200511

Who publishes here

2025 to 2026 · papers count once per institution on them

Academia 75%Industry 0%Government and other 25%

Institutions

  1. 1Centre National de la Recherche Scientifique🇫🇷4
  2. 2Gran Sasso Science Institute🇮🇹3
  3. 3Institut national de recherche en sciences et technologies du numérique🇫🇷2
  4. 4King's College London🇬🇧2
  5. 5University of Milan🇮🇹2
  6. 6Université Sorbonne Paris Nord🇫🇷2
  7. 7University of Bologna🇮🇹2
  8. 8Karlsruhe Institute of Technology🇩🇪1

Countries

  1. Italy4
  2. France2
  3. United Kingdom2
  4. Malta1
  5. Netherlands1
  6. Norway1

Affiliations from OpenAlex for the papers DBLP lists. A paper with authors from three institutions counts for each of them; the split above is over the top institutions.