FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Anantha Padmanabha
Affiliation: DI ENS, ENS, CNRS, PSL University & Inria
Web page: https://padmanabha-anantha.github.io/website/
Pages in this Program
DECFOML on Sunday, July 31st
DECFOML Program
Program
Program for Sunday, July 31st