The TACAS 2024 paper “OxiDD: A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust” by Nils Husung, Clemens Dubslaff, Maximilian A. Köhl, and Holger Hermanns has been awarded the EASST Best Paper Award. It presents OxiDD as the next-genertion framework for dealing with decision diagrams. Congratulations especially for our PhD student Nils Husung for the great achievement. OxiDD is continuously developed further — stay tuned at https://oxidd.net .