Skip to main content

Aktualności Instytutu Podstaw Informatyki PAN

Best paper award - na konferencji SEFm 2015


SEFM2015 BPAward

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


© 2021 INSTYTUT PODSTAW INFORMATYKI PAN | Polityka prywatności | Deklaracja dostępności