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.
CALL FOR PAPERS
The call-for-papers for FSCD 2018 is now available. Get the PDF version here.