FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Martin Desharnais
Affiliation: Max-Planck-Institut für Informatik, Saarland Informatics Campus
Pages in this Program
ITP on Wednesday, August 10th
ITP Program
Program
Program for Wednesday, August 10th