2nd International Conference on Formal Structures for Computation and Deduction FSCD 2017, September 3–9, 2017, Oxford, UK - Miller, Dale 1956- (Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2017)