FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Paul Gastin
Affiliation: LMF, CNRS/ENS/Université Paris-Saclay
Web page: http://www.lsv.fr/~gastin/
Pages in this Program
LICS on Wednesday, August 3rd
LICS Program
Program
Program for Wednesday, August 3rd