FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Hrutvik Kanabar
Affiliation: University of Kent
Web page: https://cs.kent.ac.uk/~hk324
Pages in this Program
ITP on Monday, August 8th
ITP Program
Program
Program for Monday, August 8th
Slides
Slides