Loop Invariants and Algebraic Reasoning7 July 2025Workshop On Loop Invariants and Algebraic Reasoning
Workshop On Reachability, Recurrences, and Loops (WORReLL)10 July 2023Workshop On Reachability, Recurrences, and Loops