A magyar tudomány ünnepe alkalmából november 14-én hétfőn átadták a 2011-es Akadémiai Nívódíjakat. Ezek egyikét a Formal methods in computing c. kötet szerkesztői, Ferenczi Miklós (Algebra Tanszék), Pataricza András (VIK MIT) és Rónyai Lajos (Algebra Tanszék) kapták. Az eseményről az alábbi linken olvasható híradás: