FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Itsaka Rakotonirina
Affiliation: MPI-SP, Bochum, Germany
Web page: https://irakoton.github.io/
Pages in this Program
GuttmanFest on Thursday, August 11th
GuttmanFest Program
Program
Program for Thursday, August 11th