FSCD 2023 8th International Conference on Formal Structures for Computation and Deduction will take place in Rome (Italy), July, 2023.

• Program Chair: Femke van Raamsdonk (Vrije Universiteit Amsterdam)
• Conference Chair: Daniele Gorla (Sapienza Università di Roma)

FSCD 2022 7th International Conference on Formal Structures for Computation and Deduction will take place in Haifa (Israel), August 2-5, 2022 (as part of FLoC 2022).

• Program Chair: Amy Felty (University of Ottawa)
• Conference Chair: Nachum Dershowitz (Tel Aviv University)