The paper “The inconsistent labelling problem of stutter-preserving partial-order reduction” by Thomas Neele, Antti Valmari and Tim Willemse, published at FoSSaCS 2020 (part of ETAPS), has been awarded with the EATCS award for the best ETAPS paper in theoretical computer science. The ETAPS award ceremony will take place online, on July 2. The details can be found here. During the event, Thomas Neele will present the paper.