Search results
7 projects found matching your search criteria:
-
1. Satsifiability and equivalence problems for finite algebras
Principal investigator: dr Jacek Krzaczkowski
Uniwersytet Marii Curie-Skłodowskiej w Lublinie, Wydział Matematyki, Fizyki i Informatyki
Call: OPUS 23, Panel: ST6
-
2. Stożkowa Normalność Stanów Infra-próżniowych
Principal investigator: Bartosz Biadasiewicz
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki
Call: PRELUDIUM 20, Panel: ST1
-
3. Geometric and homological problems of the representation theory of algebras
Principal investigator: prof. Grzegorz Andrzej Bobiński
Uniwersytet Mikołaja Kopernika, Wydział Matematyki i Informatyki
Call: OPUS 19, Panel: ST1
-
4. Classification problems in topological dynamics and ergodic theory
Principal investigator: dr hab. Dominik Kwietniak
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Call: PRELUDIUM BIS 1, Panel: ST1
-
5. Polishability of analytic equivalence relations and generalized Scott analysis
Principal investigator: Mateusz Lichman
Politechnika Łódzka
Call: PRELUDIUM 24, Panel: ST1
-
6. Frontiers of automatic verification: new methods of analysis of infinite-state systems
Principal investigator: dr hab. Sławomir Grzegorz Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 5, Panel: ST6
-
7. Geometry of Pfaffian systems and applications to differential equations and control theory
Principal investigator: dr Wojciech Kryński
Instytut Matematyczny Polskiej Akademii Nauk
Call: SONATA 2, Panel: ST1