FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Carsten Schürmann
Affiliation: IT University of Copenhagen
Web page: http://www.itu.dk/people/carsten/
Pages in this Program
GuttmanFest on Thursday, August 11th
GuttmanFest Program
Program
Program for Thursday, August 11th