FSCD 2027
International Conference on Formal Structures for Computation and Deduction
Theory
Deadline not announced
From past proceedings
Papers in FSCD's main DBLP volume each year, not official acceptance counts.
Papers in 2025
34
main DBLP volume
5-year change
-8%
vs 2020
Papers, all years
236
7 years since 2020
Authors per paper
2.7
in 2025
By an entirely new team
26%
of 2025 papers
Papers per year2020 to 2025
Top keywords, 2025
logiclinear logichigher-orderrewritingtheorytypecategoricaldifferentialeffectsprogramssemanticssequentialization
Venues like FSCD
- LICS IEEE Symposium on Logic in Computer Science0.35type theorylinear logiclogiccalculus
- CADE The Conference on Automated Deduction0.19rewritingterm rewritinglogicconfluence
- POPL ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages0.19higher-orderlogiccalculuslogical relations
- APLAS Asian Symposium on Programming Languages and Systems0.16calculusterminationlogictype
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
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
Countries
- France16
- United Kingdom7
- Japan5
- Austria3
- Germany3
- Australia2
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.