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

Venue Information

5th FSCD 2020: Paris, France [Virtual Conference]

4th FSCD 2019: Dortmund, Germany

3rd FSCD 2018: Oxford, UK

2nd FSCD 2017: Oxford, UK

1st FSCD 2016: Porto, Portugal

a service of Schloss Dagstuhl - Leibniz Center for Informatics