• News
  • Best paper award at SEMF 2015

News of the Institute of Computer Science Polish Academy of Sciences

Best paper award at SEMF 2015

SEFM2015 BPAward

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




© 2021 INSTITUTE OF COMPUTER SCIENCE POLISH ACADEMY OF SCIENCES | Privacy policy | Accessibility declaration