FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Miroslav Olšák
Affiliation: Institut des Hautes Étudies Scientifiques
Pages in this Program
ITP on Wednesday, August 10th
ITP Program
Program
Program for Wednesday, August 10th