FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Édouard Bonnet
Affiliation: Univ Lyon, CNRS, ENS de Lyon
Web page: http://perso.ens-lyon.fr/edouard.bonnet/
Pages in this Program
LICS on Thursday, August 4th
LICS Program
Program
Program for Thursday, August 4th