FSCD 2018

Third International Conference on Formal Structures for Computation and Deduction

Third Conference on Formal
          Structures for Computation and Deduction  2018 (part of
          FLOCS 2018) Oxford 9-12 July

Welcome to the 3rd International Conference on Formal Structures for Computation and Deduction!

It will be held in Oxford, UK on July 9–12, 2018 (as part of FLOC 2018).

The Conference on Formal Structures for Computation and Deduction (FSCD):



FSCD is in-cooperation with ACM SIGLOG and ACM SIGPLAN.


Webpage by Paula Severi.