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

as part of FLoC 2018, Oxford (UK), 6-19 July 2018.

CALL FOR WORKSHOPS

We invite proposals for workshops, tutorials or other satellite events, on any topic to related formal structures in computation and deduction, from theoretical foundations to tools and applications. For a suggested list of topics in 2017, as well as details on how to submit a proposal check the full call-for-workshops for 2018.

Organisation

CALL FOR PAPERS

The call-for-papers for FSCD 2018 is now available. Get the PDF version here.