FSCD proceedings
International Conference on Formal Structures for Computation and Deduction
Papers in 2025
34
Papers, all years
236
Years indexed
7
Since
2020
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.
202534 papers✓ verified
10th International Conference on Formal Structures for Computation and Deduction, FSCD 2025, Birmingham, UK, July 14-20, 2025
Keywords
Phrases from paper titles, weighted against all venues so each venue's distinctive terms rise to the top.
Loading keywords...
Year by year
| Year | Papers (DBLP) | Status | Read the proceedings |
|---|---|---|---|
| 34 | in progress | Proceedings ↗DBLP ↗ | |
| 34 | ✓ verified | Proceedings ↗DBLP ↗ | |
| 33 | ✓ verified | Proceedings ↗DBLP ↗ | |
| 34 | ✓ verified | Proceedings ↗DBLP ↗ | |
| 32 | ✓ verified | Proceedings ↗DBLP ↗ | |
| 32 | ✓ verified | Proceedings ↗DBLP ↗ | |
| 37 | ✓ verified | Proceedings ↗DBLP ↗ |
Who publishes here
2025 to 2026 · papers count once per institution on them
Academia 57%Industry 0%Government and other 43%
Institutions
- 1Centre National de la Recherche Scientifique🇫🇷16
- 2Institut national de recherche en sciences et technologies du numérique🇫🇷15
- 3Laboratoire d'Informatique de l'École Polytechnique🇫🇷5
- 4Université Paris-Saclay🇫🇷4
- 5Ben-Gurion University of the Negev🇮🇱3
- 6École Polytechnique🇫🇷3
- 7University of Birmingham🇬🇧3
- 8École Normale Supérieure de Lyon🇫🇷3
- 9Chiba University🇯🇵3
- 10CentraleSupélec🇫🇷3
- 11Laboratoire Lorrain de Recherche en Informatique et ses Applications🇫🇷3
- 12Laboratoire Méthodes Formelles🇫🇷3
Countries
- France16
- United Kingdom7
- Japan5
- Austria3
- Germany3
- Australia2
- Estonia2
- Poland2
- Brazil1
- Czechia1
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 FSCD
Closest by the phrases in their paper titles over the last five complete years.
- LICS IEEE Symposium on Logic in Computer Science0.35type theorylinear logiclogiccalculuscategories
- CADE The Conference on Automated Deduction0.19rewritingterm rewritinglogicconfluencehigher-order rewriting
- POPL ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages0.19higher-orderlogiccalculuslogical relationseffectful
- APLAS Asian Symposium on Programming Languages and Systems0.16calculusterminationlogictypelogical
- IJCAR International Joint Conference on Automated Reasoning0.13calculustheoriesterminationlogichigher-order
Authors
From DBLP author lists of the main volume. Names appear as DBLP lists them.
Authors per paper
2.5 in 2026
Papers by an entirely new team
44% in 2026
Most published at FSCD
- Frank Pfenning2020 to 20255
- Andrej Dudenhefner2020 to 20265
- Ugo Dal Lago2020 to 20255
- Cynthia Kop2020 to 20255
- Anupam Das2021 to 20265
- Samuel Mimram2022 to 20255
- Ambrus Kaposi2020 to 20244
- Claudia Faggian2020 to 20264
- Takeshi Tsukada2020 to 20264
- Frédéric Blanqui2020 to 20224