FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Cezary Kaliszyk
Affiliation: University of Innsbruck
Web page: http://cl-informatik.uibk.ac.at/cek/
Pages in this Program
Accepted Papers
All Proceedings Papers
FMBC on Thursday, August 11th
FMBC Program
FMBC Program Papers
FMBC Program Papers: Papers with Abstracts
IJCAR 2022 Proceedings of IJCAR 2022
IJCAR 2022 Proceedings of IJCAR 2022: Papers with Abstracts
IJCAR on Tuesday, August 9th
IJCAR Program
ITP on Monday, August 8th
ITP on Wednesday, August 10th
ITP Program
Organization
PAAR on Thursday, August 11th
PAAR Program
Paper: Lash 1.0 (System Description)
Paper: Proofgold: Blockchain for Formal Methods
Program
Program for Friday, August 12th
Program for Monday, August 8th
Program for Thursday, August 11th
Program for Tuesday, August 9th
Program for Wednesday, August 10th
SMT on Friday, August 12th
SMT Program