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