FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Vasily Pestun
Affiliation: IBM Research, IHES
Web page: http://pestun.ihes.fr
Pages in this Program
ITP on Sunday, August 7th
ITP Program
Program
Program for Sunday, August 7th