Projects funded by the NCN


Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Search results

7 projects found matching your search criteria :

  1. 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

  2. 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

  3. 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

  4. 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

  5. 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

  6. 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

  7. 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