Projects funded by the NCN

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

Reasoning about programs in higher-order languages

Call: OPUS 8 , Panel: ST6

Principal investigator: prof. Witold Charatonik

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

SYNAMET - Microcorpus of Synaesthetic Metaphors. Towards a Formal Description and Efficient Methods of Analysis of Metap...

Call: OPUS 8 , Panel: HS2

Principal investigator: dr hab. Magdalena Zawisławska

Uniwersytet Warszawski, Wydział Polonistyki

Formal theories of truth and nonstandard models of arithmetic

Call: PRELUDIUM 7 , Panel: HS1

Principal investigator: Michał Godziszewski

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Languages and Learning in General Game Playing

Call: PRELUDIUM 7 , Panel: ST6

Principal investigator: Jakub Kowalski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

Specification development and software verification

Call: OPUS 6 , Panel: ST6

Principal investigator: prof. Andrzej Tarlecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Challenges in semistructural data management

Call: SONATA 6 , Panel: ST6

Principal investigator: dr Filip Murlak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

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

Automatisation of constructive logic

Call: OPUS 4 , Panel: ST6

Principal investigator: dr hab. Aleksy Schubert

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Limits of decidability in automata theory

Call: SONATA 4 , Panel: ST6

Principal investigator: dr Paweł Parys

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Colloquial reproducts of Polish language. Formal, semantic and pragmatic analysis of a weekly column published in "Przek...

Call: PRELUDIUM 3 , Panel: HS2

Principal investigator: dr Ewa Kozioł-Chrzanowska

Uniwersytet Warszawski, Wydział Polonistyki

Parallel algorithms for creation and simulation three-dimensional vascular network

Call: OPUS 2 , Panel: ST6

Principal investigator: dr Krzysztof Psiuk-Maksymowicz

Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki

Texture analysis and recognition for computer-aided diagnostics of skin lesions digital images

Call: PRELUDIUM 2 , Panel: ST6

Principal investigator: Leszek Nowak

Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej

Syntactic-semantic analysis of the lexemes TO

Call: PRELUDIUM 21 , Panel: HS2

Principal investigator: Sebastian Zawada

Instytut Podstaw Informatyki Polskiej Akademii Nauk

A formal treatment of epistemic injustice

Call: POLONEZ BIS 2 , Panel: HS1

Principal investigator: dr Christoph Merdes

Uniwersytet Jagielloński, Wydział Filozoficzny

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 Klimek-Jankowska

Uniwersytet Wrocławski, Wydział Filologiczny

Reinterpreting anaphora: towards ambiguity-first approach

Call: PRELUDIUM 20 , Panel: HS1

Principal investigator: Antonina Jamrozik

Uniwersytet Warszawski, Wydział Filozofii

Extensional Ontology and Philosophical Logic

Call: OPUS 2 , Panel: HS1

Principal investigator: dr hab. Andrzej Biłat

Wyższa Szkoła Przedsiębiorczości i Administracji w Lublinie

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

Epistemic inaccuracy and foundational issues in formal epistemology

Call: SONATA BIS 9 , Panel: HS1

Principal investigator: dr hab. Leszek Wroński

Uniwersytet Jagielloński, Wydział Filozoficzny

Abstract Machines for Programming Languages: Investigations in Formal Interderivations

Call: OPUS 17 , Panel: ST6

Principal investigator: prof. Witold Charatonik

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Algebraic effects: composition and coinduction

Call: SONATA 14 , Panel: ST6

Principal investigator: dr Maciej Piróg

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

Separability problem in automata theory

Call: SONATA 11 , Panel: ST6

Principal investigator: dr Wojciech Czerwiński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Phenomenological mechanisms of prefabricating mental spaces

Call: OPUS 11 , Panel: HS1

Principal investigator: dr hab. Wojciech Krysztofiak

Uniwersytet Szczeciński, Wydział Humanistyczny

Critical analysis of existing systems of deontic action logic, their comparison, study of their cognitive and practical ...

Call: SONATA 1 , Panel: HS1

Principal investigator: dr Robert Trypuz

TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II

Research on fusion of tensor and soft computing methods for pattern recognition.

Call: OPUS 1 , Panel: ST6

Principal investigator: dr hab. Bogusław Cyganek

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji

Epistemological aspects of the application of content implication as instrument of formalization of the expressions of n...

Call: OPUS 9 , Panel: HS1

Principal investigator: dr hab. Piotr Łukowski

Uniwersytet Łódzki, Wydział Nauk o Wychowaniu