Akadémiai Nívódíjat nyert tankönyv

A Ferenczi Miklós, Pataricza András és Rónyai Lajos által szerkesztett, "Formal Methods in Computing" című, az Akadémiai Kiadó által megjelentetett könyv az MTA Matematikai Osztály javaslatára Akadémiai Nívódíjat nyert. A kitüntető címmel járó bronzplasztikát és oklevelet  a Magyar Tudomány ünnepe rendezvénysorozat keretében az  Akadémiai Könyvtár épületében adták át. A könyv az MTA Veszprémi Akadémiai Bizottsága Formális Módszerek Munkabizottsága közös munkája, annak  "Metamodeling and Model Transformations"  című fejezete Pataricza András és Varró Dániel munkája.