Formal Structures in Computation and Deduction (2017)

Website: https://www.cs.ox.ac.uk/conferences/fscd2017/
Dates: 03 Sep - 09 Sep