FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Florian Frohn
Affiliation: RWTH Aachen University
Web page: http://ffrohn.github.io
Pages in this Program
Accepted Papers
All Proceedings Papers
IJCAR 2022 Proceedings of IJCAR 2022
IJCAR 2022 Proceedings of IJCAR 2022: Papers with Abstracts
IJCAR on Wednesday, August 10th
IJCAR Program
Paper: A Calculus for Modular Non-Termination Proofs by Loop Acceleration
Paper: Deciding Termination of Uniform Loops with Polynomial Parameterized Complexity
Paper: Proving Non-Termination and Lower Runtime Bounds with LoAT (System Description)
Program
Program for Friday, August 12th
Program for Thursday, August 11th
Program for Wednesday, August 10th
WST on Friday, August 12th
WST on Thursday, August 11th
WST Program
WST22 Program papers
WST22 Program papers: Papers with Abstracts