FSCD 2022 7th International Conference on Formal Structures for Computation and Deduction will take place in Haifa (Israel), July-August, 2022 (as part of FLoC 2022).
- Program Chair: Amy Felty (University of Ottawa)
- Conference Chair: Nachum Dershowitz (Tel Aviv University)