FSCD 2018
Third International Conference on Formal Structures for Computation and Deduction
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):
- covers all aspects of formal structures for computation and deduction from theoretical foundations to applications
- builds on topics from:
- broadens the scope to:
- closely related areas in logics and proof theory
- new emerging models of computation (e.g. homotopy type theory or quantum computing)
- semantics and verification in new challenging areas (e.g. blockchain protocols or deep learning algorithms)
FSCD is in-cooperation with ACM SIGLOG and ACM SIGPLAN.


