FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
SLIDES

When Iota Meets Lambda

Andrzej Indrzejczak and Michal Zawidzki

Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification

Philipp Wendler, Nian-Ze Lee and Dirk Beyer

Uniform Interpolants and Model Completions in Formal Verification of Infinite-State Systems

Alessandro Gianola
Total: 3 presentations.