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:
    1. RTA (Rewriting Techniques and Applications)
    2. TLCA (Typed Lambda Calculi and Applications)
  • broadens the scope to:
    1. closely related areas in logics and proof theory
    2. new emerging models of computation (e.g. homotopy type theory or quantum computing)
    3. semantics and verification in new challenging areas (e.g. blockchain protocols or deep learning algorithms)


FSCD Conference and Workshop Chair: Paula Severi.