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

22 projects found matching your search criteria :

  1. A formal treatment of epistemic injustice

    Call: POLONEZ BIS 2 , Panel: HS1

    Principal investigator: dr Christoph Merdes

    Uniwersytet Jagielloński, Wydział Filozoficzny

  2. From a multilingual parallel corpus to the micro-typology of the PERFECT in Baltic and Slavic

    Call: SONATA BIS 11 , Panel: HS2

    Principal investigator: dr Dorota Emilia Klimek-Jankowska

    Uniwersytet Wrocławski, Wydział Neofilologii

  3. Finite automata: selected problems and applications connecting different areas

    Call: OPUS 21 , Panel: ST6

    Principal investigator: dr Marek Szykuła

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  4. Epistemic inaccuracy and foundational issues in formal epistemology

    Call: SONATA BIS 9 , Panel: HS1

    Principal investigator: dr hab. Leszek Jerzy Wroński

    Uniwersytet Jagielloński, Wydział Filozoficzny

  5. Algebraic effects: composition and coinduction

    Call: SONATA 14 , Panel: ST6

    Principal investigator: dr Maciej Adam Piróg

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  6. Classical problems in the theory of finite automata: new approaches, variants, and applications

    Call: OPUS 13 , Panel: ST6

    Principal investigator: dr Marek Szykuła

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  7. Niestandardowe modele arytmetyki i formalne teorie prawdy

    Call: ETIUDA 5 , Panel: HS1

    Principal investigator: Michał Tomasz Godziszewski

    Uniwersytet Warszawski, Wydział Filozofii

  8. Separability problem in automata theory

    Call: SONATA 11 , Panel: ST6

    Principal investigator: dr Wojciech Karol Czerwiński

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  9. A diachronic formal model of Polish inflection and its implementation

    Call: OPUS 8 , Panel: HS2

    Principal investigator: dr Marcin Marian Woliński

    Instytut Podstaw Informatyki PAN

  10. Compression, logic, formal langauges: new approaches unifying different areas.

    Call: OPUS 8 , Panel: ST6

    Principal investigator: dr hab. Artur Jeż

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  11. Formal theories of truth and nonstandard models of arithmetic

    Call: PRELUDIUM 7 , Panel: HS1

    Principal investigator: Michał Tomasz Godziszewski

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  12. Languages and Learning in General Game Playing

    Call: PRELUDIUM 7 , Panel: ST6

    Principal investigator: Jakub Kowalski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  13. Specification development and software verification

    Call: OPUS 6 , Panel: ST6

    Principal investigator: prof. Andrzej Tarlecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  14. Challenges in semistructural data management

    Call: SONATA 6 , Panel: ST6

    Principal investigator: dr Filip Marek Murlak

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  15. Asymptotic methods in lambda calculus and combinatory logic

    Call: OPUS 6 , Panel: ST6

    Principal investigator: prof. Marek Zaionc

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  16. Algorithms concerning the legibility of natural deduction proofs

    Call: PRELUDIUM 4 , Panel: ST6

    Principal investigator: dr Karol Pąk

    Uniwersytet w Białymstoku, Wydział Matematyki i Informatyki

  17. Automatisation of constructive logic

    Call: OPUS 4 , Panel: ST6

    Principal investigator: dr hab. Aleksy Andrzej Schubert

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  18. A formal analysis of the distribution and internal architecture of nominal expressions: a comparative generative study

    Call: OPUS 4 , Panel: HS2

    Principal investigator: prof. Jacek Ireneusz Witkoś

    Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Anglistyki

  19. Structure and interpretation of programming languages in the "proofs-as-programs" paradigm

    Call: OPUS 2 , Panel: ST6

    Principal investigator: dr Małgorzata Biernacka

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  20. Semantic Method for Unified Rules Interoperability in Knowledge-Based Systems. (SaMURaI)

    Call: PRELUDIUM 2 , Panel: ST6

    Principal investigator: Krzysztof Kaczor

    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej

  21. Efficient algorithms and representations in formal languages and automata theory.

    Call: SONATA 1 , Panel: ST6

    Principal investigator: dr Artur Jeż

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  22. Development of rule-based query languages applied in intelligent systems

    Call: OPUS 1 , Panel: ST6

    Principal investigator: prof. Andrzej Piotr Szałas

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy