FSCD 2026@Lisbon

11^th International Conference on Formal Structures for Computation and Deduction
20 - 23 July 2026

---

The 11th FSCD (International Conference on Formal Structures for Computation and Deduction) will be held in Lisbon, Portugal, 20 - 23 July, 2026, as part of FlOC.

INVITED SPEAKERS

TBA

PROGRAM

TBA

ACCEPTED PAPERS

TBA