Projects funded by the NCN

Distributed deductive systems for classical and non-classical logics. Proof theory supported with computational methods

Call: SONATA BIS 7 , Panel: HS1

Principal investigator: dr hab. Dorota Leszczyńska-Jasion

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Psychologii i Kognitywistyki

Classical problems in the theory of finite automata: new approaches, variants, and applications

Call: OPUS 13 , Panel: ST6

Principal investigator: dr Marek Szykuła

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Automated Multiparameter System for Assessment of the Patient's general Condition with Comprehensive Analysis of the Res...

Call: OPUS 1 , Panel: ST6

Principal investigator: prof. Andrzej Krzysztof Napieralski

Politechnika Łódzka, Wydział Elektrotechniki, Elektroniki, Informatyki i Automatyki

Methods and tools of corpus linguistics in the research of a bibliography of Polish book publications from 1997 to 2017

Call: OPUS 12 , Panel: HS2

Principal investigator: prof. Adam Tomasz Pawłowski

Uniwersytet Wrocławski, Wydział Filologiczny

Arithmetic properties of dynamical systems in positive characteristic.

Call: SONATA 12 , Panel: ST1

Principal investigator: dr Jakub Jan Byszewski

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Quantitative properties for higher-order recursion schemes

Call: SONATA BIS 6 , Panel: ST6

Principal investigator: dr hab. Paweł Parys

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Separability problem in automata theory

Call: SONATA 11 , Panel: ST6

Principal investigator: dr Wojciech Karol Czerwiński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Numerical simulations of passive layer morphology at the metal electrode.

Call: OPUS 10 , Panel: ST4

Principal investigator: dr hab. Janusz Wojciech Stafiej

Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie, Wydział Matematyczno-Przyrodniczy. Szkoła Nauk Ścisłych

Multi scale modelling of microstructure evolution during deformation on the basis of the cellular automata framework.

Call: SONATA 1 , Panel: ST8

Principal investigator: dr hab. Łukasz Madej

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Metali i Informatyki Przemysłowej