FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
SLIDES

Towards Corecursion Without Corecursion in Coq

Vlad Rusu and David Nowak

On Transforming Imperative Programs into Logically Constrained Term Rewrite Systems via Injective Functions from Configurations to Terms

Naoki Nishida, Misaki Kojima and Takumi Kato

On Reducing Non-Occurrence of Specified Runtime Errors to All-Path Reachability Problems of Constrained Rewriting

Misaki Kojima and Naoki Nishida

On Transforming Rewriting-Induction Proofs for Logical-Connective-Free Sequents into Cyclic Proofs

Shujun Zhang and Naoki Nishida

Program Equivalence in a Typed Probabilistic Call-by-Need Functional Language

David Sabel and Manfred Schmidt-Schauss
Total: 5 presentations.