Best paper award - na konferencji SEFm 2015
Mgr Michał Knapik, Dr Artur Niewiadomski i Prof. Wojciech Penczek otrzymali "Best Paper Award" na konferencji SEFM 2015 w Yorku (07-11 września 2015) za pracę "Generating None-Plans in Order to Find Plans". Praca była częściowo finansowana z projektu pt. "Nowe metody parametrycznej weryfikacji modelowej", realizowanego ze środków Narodowego Centrum Nauki przyznanych na podstawie decyzji numer DEC-2012/07/N/ST6/03426