Best paper award at SEMF 2015
Michał Knapik, M.Sc., Dr Artur Niewiadomski i Prof. Wojciech Penczek were granted th "Best Paper Award" at SEFM 2015 in York (September 7-11, 2015) for the paper "Generating None-Plans in Order to Find Plans". The paper was partly financed under the project titled "New methods for parametric model verification", financed by the National Science Centre based on decision no. DEC-2012/07/N/ST6/03426