Best ICALP Paper is as well, awarded to
Track B - Marvin Künnemann, Filip Mazowiecki, Lia Schütze, Henry Sinclair-Banks, and Karol Węgrzycki: "Coverability in VASS Revisited: Improving Rackoff’s Bound to Obtain Conditional Optimality". Congratulations! 👏🏅