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

5 projects found matching your search criteria :

  1. Semantic tensor networks for large data sets analysis

    Call: OPUS 8 , Panel: ST6

    Principal investigator: dr hab. Piotr Gawron

    Instytut Informatyki Teoretycznej i Stosowanej PAN

  2. Modular operational semantics: a bialgebraic approach

    Call: SONATA BIS 2 , Panel: ST6

    Principal investigator: dr hab. Bartosz Klin

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  3. Representations of algebraic semantics for substructural logics

    Call: OPUS 24 (LAP) , Panel: HS1

    Principal investigator: dr hab. Tomasz Kowalski

    Uniwersytet Jagielloński, Wydział Filozoficzny

  4. Algebraic effects: composition and coinduction

    Call: SONATA 14 , Panel: ST6

    Principal investigator: dr Maciej Piróg

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  5. Algebraic Effects and Continuations

    Call: POLONEZ 3 , Panel: ST6

    Principal investigator: dr Maciej Piróg

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki