The paper The Algebra of Iterative Constructions by Kevin Batz, Benjamin Kaminski, Lucas Kehrer, Gerwin Klein, Henning Urbat, and Todd Schmid has been accepted for publication at the Annual Symposium on Logic in Computer Science (LICS 2026). It presents an algebraic framework for proving fixed point theorems. For example, the fixed point property of the Kleene fixed point theorem can be expressed as F ◇ F* ⊥ = ◇ F* ⊥.

A preprint is available.

Saarland Informatics Campus has a total of four contributions at LICS 2026!