International Conference on Formal Structures for Computation and Deduction
International Conference on Formal Structures for Computation and Deduction
Latest edition: FSCD 2027
Official Portals
Prestige Metrics & Badges
CORE Ranking2026
B
Theory of computation
CCF RankingChina CF
CCF C
China Computer Federation
Google Scholar H5-IndexScholar
N/A
Top 5-year cited metric
Submission Deadlines & Live Countdown
FSCD 2027 • Nijmegen Netherlands(23 – 26 Aug, 2027)
No active deadlines currently announced for the upcoming edition
Please check the official conference portal or DBLP for the latest Call for Papers announcements.
Complete Track Deadlines
| Track / Round | Format | Abstract Due | Paper Submission | Rebuttal Period | Notification Date | Camera-Ready Due | Time Remaining |
|---|---|---|---|---|---|---|---|
Main Track | conference | TBA | TBA | — | TBA | TBA | TBA |
Multi-Source Prestige Rankings
Comparative classification across international academic evaluation bodies
| Ranking System | Evaluation Body | Classification | Edition / Year | Field / Scope | Prestige Significance |
|---|---|---|---|---|---|
| CORE Ranking | Computing Research and Education Association of Australasia | B | Year 2026 | Theory of computation | Good conference (Top 35%–40% globally) |
| CCF Ranking | China Computer Federation (CCF) | Tier C | CCF 2022 Catalog | Computer Science | Important international conference |
| TH-CPL | Tsinghua University | N/A | TH-CPL List | CS & Engineering | Tsinghua Recommended Conference Publishing List |
| Qualis CAPES | CAPES (Brazilian Ministry of Education) | N/A | Sucupira / Qualis | Ciência da Computação | South American academic evaluation standard |
| CCF | Academic Association | C | N/A | General | International prestige ranking |
Conference Editions Timeline
Locations, dates, proceedings, and historical tracks of past & future editions
2027
FSCD 2027
UpcomingNijmegen, Netherlands
23 – 26 Aug, 2027
2026
FSCD 2026
UpcomingLisbon, Portugal
20 – 23 Jul, 2026
2025
FSCD 2025
UpcomingBirmingham, United Kingdom
14 – 20 Jul, 2025
2024
FSCD 2024
UpcomingTallinn, Estonia
10 – 13 Jul, 2024
2023
FSCD 2023
UpcomingRome, Italy
3 – 6 Jul, 2023
2022
FSCD 2022
UpcomingHaifa, Israel
2 – 5 Aug, 2022
2021
FSCD 2021
UpcomingVirtual
17 – 24 Jul, 2021
2020
Fifth International Conference on Formal Structures for Computation and Deduction
PastParis, France
29 Jun – 5 Jul, 2020
2019
4th International Conference on Formal Structures for Computation and Deduction
PastDortmund, Germany
24 – 30 Jun, 2019
2017
FSCD 2017 : Second International Conference on Formal Structures for Computation and Deduction
PastOxford, UK
3 – 6 Sep, 2017
2016
First International Conference on Formal Structures for Computation and Deduction
PastPorto, Portugal
22 – 26 Jun, 2016
Academic Resources & External Links
Access DBLP archives, Papers With Code, and official conference portals
DBLP Computer Science
Comprehensive open bibliographic database tracking full papers across editions.
dblp.org ↗
Papers With Code
Explore trending papers, open-source code repositories, and leaderboards.
paperswithcode.com ↗
CORE Ranking Portal
Official evaluation catalog from Computing Research and Education Association.
portal.core.edu.au ↗