FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Anupam Das
Affiliation: University of Birmingham
Web page: http://www.anupamdas.com
Pages in this Program
Accepted Papers
All Proceedings Papers
FSCD on Thursday, August 4th
FSCD Program
IJCAR 2022 Proceedings of IJCAR 2022
IJCAR 2022 Proceedings of IJCAR 2022: Papers with Abstracts
IJCAR on Tuesday, August 9th
IJCAR Program
LICS on Friday, August 5th
LICS Program
Paper: Cyclic Proofs, Hypersequents, and Transitive Closure Logic
PC on Sunday, July 31st
PC Program
Program
Program for Friday, August 5th
Program for Sunday, July 31st
Program for Thursday, August 4th
Program for Tuesday, August 9th
Slides
Slides