FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Jean-Baptiste Jeannin
Affiliation: University of Michigan — Ann Arbor
Web page: http://www-personal.umich.edu/~jeannin
Pages in this Program
ITP on Monday, August 8th
ITP Program
Program
Program for Monday, August 8th