FSCD 2026@Lisbon

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

---

👁 Lisbon
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

Laura Kovács (Vienna University of Technology - TU Wien)
Andrej Bauer (University of Ljubljana)

PROGRAM

TBA

ACCEPTED PAPERS

TBA

In co-operation

FSCD 2026 is organised in co-operation with ACM SIGLOG and SIGPLAN

👁 ACM
👁 SIGLOG
👁 SIGPLAN