Jakob Rehof (Ed.): 9th International Conference on Formal Structures for Computation and Deduction, FSCD 2024. LIPICS Vol. 299, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2024, ISBN 978-3-95977-323-2 contents.

Marco Gaboardi, Femke van Raamsdonk (Ed.): 8th International Conference on Formal Structures for Computation and Deduction, FSCD 2023. LIPICS Vol. 260, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2023, ISBN 978-3-95977-277-8 contents.

Amy P. Felty (Ed.): 7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022. LIPICS Vol. 228, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2022, ISBN 978-3-95977-233-4 contents.

Naoki Kobayashi (Ed.): 6th International Conference on Formal Structures for Computation and Deduction, FSCD 2021. LIPICS Vol. 195, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2021, ISBN 978-3-95977-191-7 contents.

Zena M. Ariola (Ed.): 5th International Conference on Formal Structures for Computation and Deduction, FSCD 2020. LIPICS Vol. 167, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2020, ISBN 978-3-95977-155-9 contents.

Herman Geuvers (Ed.): 4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019. LIPICS Vol. 131, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2019, ISBN 978-3-95977-107-8 contents.

Hélène Kirchner (Ed.): 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018. LIPIcs 108, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2018, ISBN 978-3-95977-077-4 contents.

Dale Miller (Ed.): 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017. LIPIcs 84, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2017, ISBN 978-3-95977-047-7 contents.