Threshold-Based Behavioural Distances (2026) Forster J, Schröder L, Wild P, König B, Nora P Conference contribution The Algebra of Iterative Constructions (2026) Batz K, Kaminski BL, Kehrer L, Klein G, Schmid T, Urbat H Conference contribution A Unified Treatment of the Substitution Tensor for Presheaves, Nominal Sets, Renaming Sets, and so on (2026) Lenke F, Milius S, Urbat H Conference contribution Polymorphism Meets DHOL (2026) Ranalter R, Rabe F, Kaliszyk C Conference contribution Demystifying Codensity Monads via Duality (2026) Lenke F, Wittrock N, Milius S, Urbat H Conference contribution Well-Founded Coalgebras Meet Kőnig’s Lemma (2026) Urbat H, Wißmann T Conference contribution An Expansion-Based Approach for Quantified Integer Programming (2025) Hartisch M, Chew L Conference contribution Algebraic Language Theory with Effects (2025) Lenke F, Milius S, Urbat H, Wißmann T Conference contribution Identity-Preserving Lax Extensions and Where to Find Them (2025) Goncharov S, Hofmann D, Nora P, Schröder L, Wild P Conference contribution Quantitative Graded Semantics and Spectra of Behavioural Metrics (2025) Forster J, Schröder L, Wild P, Beohar H, Gurke S, König B, Messing K Conference contribution