Conference · International Conference on Formal Structures for Computation and Deduction
FSCD 2027
Official page- Type
- Conference
- Organisation
- International Conference on Formal Structures for Computation and Deduction
- Location
- Nijmegen, Netherlands
- Submissions close
- 4 December 2026
- Takes place
- 23 August 2027 to 26 August 2027
- Found
- 26 September 2026
About this listing
International Conference on Formal Structures for Computation and Deduction. Submissions close 2026-12-04. Held in Nijmegen, Netherlands. Next deadline: Workshop and tutorial proposals. 12th edition, held at the Van der Valk Hotel in Nijmegen and colocated with CADE-31 as FSCD-CADE 2027. FSCD workshops run on 21 and 22 August. Topics: logic, type systems, theorem proving, semantics. Listed by PLFM (https://pl-fm.github.io/, MIT).
Last checked 9 October 2026. Found via PLFM (pl-fm.github.io).