FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Mario Román
Affiliation: Tallinn University of Technology
Web page: https://mroman42.github.io/cosmoi/about.html
Pages in this Program
LICS on Wednesday, August 3rd
LICS Program
Program
Program for Wednesday, August 3rd