FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
María Inés de Frutos-Fernández
Affiliation: Imperial College London
Web page: https://www.imperial.ac.uk/people/m.de-frutos-fernandez
Pages in this Program
ITP on Tuesday, August 9th
ITP Program
Program
Program for Tuesday, August 9th