FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Miki Hermann
Affiliation: LIX, Ecole Polytechnique
Web page: http://www.lix.polytechnique.fr/~hermann
Pages in this Program
LMML on Sunday, July 31st
LMML Program
Program
Program for Sunday, July 31st