FSCD 2027 12th International Conference on Formal Structures for Computation and Deduction will take place in Nijmegen (The Netherlands), August, 2027.

• Program Chair: Mariangiola Dezani (Università di Torino) and Daniele Nantes (University of Brasília and Imperial College London)
• Conference Chair: Herman Geuvers (Radboud U. of Nijmegen)

FSCD 2026 11th 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)