5th International Conference on Formal Structures for Computation and Deduction FSCD 2020, June 29–July 6, 2020, Paris, France (Virtual Conference) - Ariola, Zena M. (Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2020)