4th International Conference on Formal Structures for Computation and Deduction FSCD 2019, June 24–30, 2019, Dortmund, Germany - Geuvers, Herman 1964- (Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2019)