I am co-organising a workshop in July 2025: Loop Invariants and Algebraic Reasoning (see here). To participate in-person, please register for the workshop through ICALP’s registration portal. To participate remotely over Zoom, please contact me for further details.