H. Feree, I. van der Giessen, S. van Gool, I. Shillito won the IJCAR best paper award for their article “Mechanised uniform interpolation for modal logics K, GL and ISL”. Congratulations!