FSCD 202712th International Conference on Formal Structures for Computation and Deduction will take place in Nijmegen (The Netherlands), August, 2027.
Program Chair: TBC
Conference Chair: Herman Geuvers (Radboud U. of Nijmegen)
FSCD 202611th International Conference on Formal Structures for Computation and Deduction will take place in Lisbon (Portugal) as part of FLoC 2026, July, 2026.
Program Chair: Frank Pfenning (Carnegie Mellon University)
Conference Chair: Sandra Alves (University of Porto)