FORTE proceedings
International Conference on Formal Techniques for (Networked and) Distributed Systems
Papers in 2025
14
Papers, all years
962
Years indexed
39
Since
1988
Papers in main proceedings (DBLP)
Counts papers published in the venue's main DBLP volume each year. This is not an official acceptance count: it can include short papers and exclude workshop or companion volumes.
verified volumein progressnot yet verifiedClick a bar to open that year.
202514 papers✓ verified
Formal Techniques for Distributed Objects, Components, and Systems - 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings
Keywords
Phrases from paper titles, weighted against all venues so each venue's distinctive terms rise to the top.
Loading keywords...
Year by year
Who publishes here
2025 to 2026 · papers count once per institution on them
Academia 75%Industry 0%Government and other 25%
Institutions
- 1Centre National de la Recherche Scientifique🇫🇷4
- 2Gran Sasso Science Institute🇮🇹3
- 3Institut national de recherche en sciences et technologies du numérique🇫🇷2
- 4King's College London🇬🇧2
- 5University of Milan🇮🇹2
- 6Université Sorbonne Paris Nord🇫🇷2
- 7University of Bologna🇮🇹2
- 8Karlsruhe Institute of Technology🇩🇪1
- 9Institut polytechnique de Grenoble🇫🇷1
- 10Università degli Studi del Piemonte Orientale “Amedeo Avogadro”🇮🇹1
- 11University of Udine🇮🇹1
- 12Ca' Foscari University of Venice🇮🇹1
Countries
- Italy4
- France2
- United Kingdom2
- Malta1
- Netherlands1
- Norway1
- Portugal1
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.
Venues like FORTE
Closest by the phrases in their paper titles over the last five complete years.
- CONCUR International Conference on Concurrency Theory0.12bisimilaritytimedbranchingcheckingpetri
- TASE Theoretical Aspects of Software Engineering0.07timedpetriverifyingcheckingcyber-physical
- CAV International Conference on Computer-Aided Verification0.07checkercheckingverifyingtimedprobabilistic
- POPL ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages0.06verifyingpolyhedralnoninterferencebisimilaritysemantics
- ICFEM International Conference on Formal Engineering Methods0.06timedcyber-physicalcheckingverifyingconcurrent
Authors
From DBLP author lists of the main volume. Names appear as DBLP lists them.
Authors per paper
3.0 in 2026
Papers by an entirely new team
47% in 2026
Most published at FORTE
- Gregor von Bochmann1989 to 200916
- Manuel Núñez1995 to 201313
- David de Frutos-Escrig1989 to 201612
- Teruo Higashino1993 to 200512
- Kenneth J. Turner1989 to 200511
- Jean-Pierre Courtiat1988 to 200610
- Reinhard Gotzhein1989 to 20089
- Holger Hermanns1994 to 20259
- Juan Quemada1988 to 20048
- Jean-Bernard Stefani1990 to 20198