FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Laura Kovacs
Affiliation: Vienna University of Technology, Austria
Web page: http://forsyte.at/people/kovacs/
Pages in this Program
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 Wednesday, August 10th
IJCAR Program
Organization
PAAR on Thursday, August 11th
PAAR Program
Paper: Automating Security Analysis of Off-Chain Protocols
Program
Program for Friday, August 12th
Program for Thursday, August 11th
Program for Wednesday, August 10th
SMT on Friday, August 12th
SMT on Thursday, August 11th
SMT Program
SYNT on Thursday, August 11th
SYNT Program