FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Moses Ganardi
Affiliation: Max Planck Institute for Software Systems (MPI-SWS)
Web page: https://people.mpi-sws.org/~mganardi/
Pages in this Program
LICS on Friday, August 5th
LICS Program
Program
Program for Friday, August 5th