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)

FSCD 2025 10th International Conference on Formal Structures for Computation and Deduction will take place in Birmingham (United Kingdom), July 14-20, 2025.

• Program Chair: Maribel Fernandez (King's College London)
• Conference Chairs: Anupam Das and Paul Blain Levy (University of Birmingham)