Conference

FSCD

Formal Structures for Computation and Deduction

FSCD in dblp Conference Website

Volumes

Volume

LIPIcs, Volume 260

8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023)

FSCD 2023, July 3-6, 2023, Rome, Italy

Editors: Marco Gaboardi and Femke van Raamsdonk

Volume

LIPIcs, Volume 228

7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)

FSCD 2022, August 2-5, 2022, Haifa, Israel

Editors: Amy P. Felty

Volume

LIPIcs, Volume 195

6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021)

FSCD 2021, July 17-24, 2021, Buenos Aires, Argentina (Virtual Conference)

Editors: Naoki Kobayashi

Volume

LIPIcs, Volume 167

5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020)

FSCD 2020, June 29 to July 6, 2020, Paris, France (Virtual Conference)

Editors: Zena M. Ariola

Volume

LIPIcs, Volume 131

4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019)

FSCD 2019, June 24-30, 2019, Dortmund, Germany

Editors: Herman Geuvers

Volume

LIPIcs, Volume 108

3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018)

FSCD 2018, July 9-12, 2018, Oxford, UK

Editors: Hélène Kirchner

Volume

LIPIcs, Volume 84

2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017)

FSCD 2017, September 3-9, 2017, Oxford, UK

Editors: Dale Miller

Volume

LIPIcs, Volume 52

1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016)

FSCD 2016, June 22-26, 2016, Porto, Portugal

Editors: Delia Kesner and Brigitte Pientka

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail