FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Yannick Forster
Affiliation: Inria
Web page: https://yforster.de
Pages in this Program
Coq on Friday, August 12th
Coq Program
ITP on Monday, August 8th
ITP on Tuesday, August 9th
ITP on Wednesday, August 10th
ITP Program
Program
Program for Friday, August 12th
Program for Monday, August 8th
Program for Tuesday, August 9th
Program for Wednesday, August 10th