International Conference on Formal Structures for Computation and Deduction, Paris, France June 29-July 5, 2020 http://fscdconference.org/