H. Feree, I. van der Giessen, S. van Gool, I. Shillito ont remporté le prix du meilleur article lors de la conférence IJCAR pour leur article “Mechanised uniform interpolation for modal logics K, GL and ISL”. Toutes nos félicitations !