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
The National Science Centre resolved the third issue of the Symfonia competition, granting funding to 6 projects out of the 62 applications submitted. One of the winners was the project titled "Atlas of regulator areas specific for the human brain – a new tool for detecting paths causing selected brain diseases". The Project Team includes Computational Biology Group from ICS PAS, headed by Prof. Jan Komorowski.
The Project Manager is Dr. Bartosz Wilczyński from the Faculty of Mathematics, Informatics and Mechanics of Warsaw University, In addition to FMIM UW and ICS PAS groups, researchers involved in the undertaking include the group of Prof. Bożeny Kamińskiej-Kaczmarek from the Nencki Institute of Experimental Biology PAS.
For more information, see NCN website