FSCD 2026@Lisbon
11th 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
- Laura Kovács (Vienna University of Technology - TU Wien)
- Andrej Bauer (University of Ljubljana)
PROGRAM
The full program for FSCD is available here.
ACCEPTED PAPERS
The list of accepted paper is available here.
PROCEEDINGS
The proceedings volume of FSCD 2026 is now officially published as volume 378 of LIPIcs and available here.
STREAM VIA ZOOM
We are pleased to announce that FSCD 2026 will offer free best-effort virtual participation via Zoom. The stream will cover the main conference, including the business meeting (without voting rights), but not the workshops nor the FLoC keynote talks.
In order to access the Zoom link, please register your email in advance here.
BUSINESS MEETING
The FSCD business meeting is on Wednesday 22th July at 16:00-17:00. It includes the election of new Steering Committee members, with the following candidates standing:
- Malgorzata Biernacka - Election statement
- Takeshi Tsukada - Election statement
In co-operation
FSCD 2026 is organised in co-operation with ACM SIGLOG and SIGPLAN
