7 projects found matching your search criteria :
Frontiers of automatic verification: new methods of analysis of infinite-state systems
Call: OPUS 5 , Panel: ST6
Principal investigator: dr hab. Sławomir 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 PAN
Non-random equivalent characterizations of sample boundedness
Call: OPUS 24 , Panel: ST1
Principal investigator: dr hab. Witold Bednorz
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Satsifiability and equivalence problems for finite algebras
Call: OPUS 23 , Panel: ST6
Principal investigator: dr Jacek Krzaczkowski
Uniwersytet Marii Curie-Skłodowskiej w Lublinie, Wydział Matematyki, Fizyki i Informatyki
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: dr hab. Grzegorz Bobiński
Uniwersytet Mikołaja Kopernika w Toruniu, Wydział Matematyki i Informatyki
Classification problems in topological dynamics and ergodic theory
Call: PRELUDIUM BIS 1 , Panel: ST1
Principal investigator: dr hab. Dominik Kwietniak
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki