5 projects found matching your search criteria :
Polishability of analytic equivalence relations and generalized Scott analysis
Call: PRELUDIUM 24 , Panel: ST1
Principal investigator: Mateusz Lichman
Politechnika Łódzka
Stożkowa Normalność Stanów Infra-próżniowych
Call: PRELUDIUM 20 , Panel: ST1
Principal investigator: Bartosz Biadasiewicz
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki
Geometric and homological problems of the representation theory of algebras
Call: OPUS 19 , Panel: ST1
Principal investigator: prof. Grzegorz Andrzej Bobiński
Uniwersytet Mikołaja Kopernika, Wydział Matematyki i Informatyki
Frontiers of automatic verification: new methods of analysis of infinite-state systems
Call: OPUS 5 , Panel: ST6
Principal investigator: dr hab. Sławomir Grzegorz Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Geometry of Pfaffian systems and applications to differential equations and control theory
Call: SONATA 2 , Panel: ST1
Principal investigator: dr Wojciech Kryński
Instytut Matematyczny Polskiej Akademii Nauk