FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Dominik Kirst
Affiliation: Saarland University
Web page: http://www.ps.uni-saarland.de/~kirst/
Pages in this Program
Coq on Friday, August 12th
Coq Program
FSCD on Wednesday, August 3rd
FSCD Program
ITP on Tuesday, August 9th
ITP Program
Program
Program for Friday, August 12th
Program for Tuesday, August 9th
Program for Wednesday, August 3rd
Slides
Slides
Slides