Projects funded by the NCN

On the border of impossible in classical automata theory

Call: OPUS 28 , Panel: ST6

Principal investigator: dr hab. Paweł Parys

Uniwersytet Warszawski

Structural complexity measures for foundational theories

Call: WEAVE-UNISONO , Panel: HS1

Principal investigator: dr Mateusz Zbigniew Łełyk

Uniwersytet Warszawski

Efficient higher-order quantum computations

Call: SONATA BIS 14 , Panel: ST2

Principal investigator: dr hab. Michał Grzegorz Studziński

Uniwersytet Gdański

The Effects of Generative Artificial Intelligence on Higher-Order Cognitive Functions

Call: OPUS 27 , Panel: HS6

Principal investigator: Dawid Jarosław Ratajczyk

Uniwersytet im. Adama Mickiewicza w Poznaniu

Higher-order logic and absoluteness phenomena in set theory

Call: SONATA 19 , Panel: HS1

Principal investigator: dr Bartosz Wcisło

Uniwersytet Gdański, Wydział Nauk Społecznych

Analysis and control of some nonlocal 1D first-order hyperbolic systems

Call: SONATA BIS 13 , Panel: ST1

Principal investigator: dr Guillaume Olive

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Between proof theory, reverse mathematics, and the model theory of arithmetic

Call: OPUS 25 , Panel: ST1

Principal investigator: dr hab. Leszek Aleksander Kołodziejczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

First Order Logic and Beyond. Some Puzzles in Database Theory.

Call: OPUS 23 , Panel: ST6

Principal investigator: prof. Jerzy Marcinkowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Applications of multiorders and tiling systems to studying measure-theoretic andtopological actions of amenable groups

Call: PRELUDIUM 20 , Panel: ST1

Principal investigator: dr Mateusz Łukasz Więcek

Politechnika Wrocławska

Development of new implantable drug forms, biodegradable nanofibers containing selected betulin derivatives in order to ...

Call: OPUS 21 , Panel: NZ7

Principal investigator: prof. Janusz Edward Kasperczyk

Śląski Uniwersytet Medyczny w Katowicach, Wydział Nauk Farmaceutycznych w Sosnowcu

Understanding very small (<200 m in diameter) and small (<1.5 km in diameter) impact craters on Earth in order to determ...

Call: SONATA 16 , Panel: ST10

Principal investigator: dr Anna Izabela Łosiak

Instytut Nauk Geologicznych, Polska Akademia Nauk, Ośrodek Badawczy w Krakowie

Public Order and the Struggle for Recognition. Political Aesthetics of Social Exclusions.

Call: OPUS 20 , Panel: HS1

Principal investigator: prof. Adam Janusz Chmielewski

Uniwersytet Wrocławski, Wydział Nauk Społecznych

Non-Abelian quantum topological order and fusion rules with Tensor Network States

Call: ETIUDA 8 , Panel: ST3

Principal investigator: Anna Elżbieta Francuz

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

Provability, computation and combinatorics at the lower and intermediate levels of the Gödel hierarchy

Call: OPUS 14 , Panel: ST1

Principal investigator: dr hab. Leszek Aleksander Kołodziejczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Analysis of normative orders in MMO games in the light of chosen legal theory conceptions

Call: PRELUDIUM 14 , Panel: HS5

Principal investigator: Radosław Konrad Pałosz

Uniwersytet Jagielloński, Wydział Prawa i Administracji

Transgovernmental networks and their impact on domestic legal order (case study of competition authorities networks)

Call: OPUS 12 , Panel: HS5

Principal investigator: dr hab. Mateusz Bolesław Błachucki

Instytut Nauk Prawnych PAN

Quantitative properties for higher-order recursion schemes

Call: SONATA BIS 6 , Panel: ST6

Principal investigator: dr hab. Paweł Parys

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Ordered random variables applied in statistics and reliability theory

Call: OPUS 10 , Panel: ST1

Principal investigator: prof. Tomasz Paweł Rychlik

Instytut Matematyczny Polskiej Akademii Nauk

Set theoretic methods in topology and in Banach space theory.

Call: OPUS 6 , Panel: ST1

Principal investigator: prof. Grzegorz Plebanek

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Graphs within graphs: from well-quasi-orders to algorithms

Call: PRELUDIUM 6 , Panel: ST6

Principal investigator: dr Jean-Florent Raymond

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

The Dynamics of Consciousness. A Cognitive Model of Conscious Experience Formation

Call: SONATA BIS 2 , Panel: HS6

Principal investigator: dr hab. Michał Wierzchoń

Uniwersytet Jagielloński, Wydział Filozoficzny

Function spaces, geometry of Banach spaces and applications

Call: OPUS 4 , Panel: ST1

Principal investigator: prof. Henryk Teodor Hudzik

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki

Limits of decidability in automata theory

Call: SONATA 4 , Panel: ST6

Principal investigator: dr Paweł Parys

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

"Effect of degree of order of graphene sheets in carbon nano- and microfillers on the structure and properties of their ...

Call: OPUS 3 , Panel: ST5

Principal investigator: prof. Henryk Galina

Centrum Materiałów Polimerowych i Węglowych PAN

NEW METHODS OF CALCULATING HIGHER ORDER EFFECTS IN QUANTUM FIELD THEORY FOR DATA ANALYSIS IN LARGE HADRON COLLIDER EXPER...

Call: OPUS 2 , Panel: ST2

Principal investigator: prof. Stanisław Jadach

Instytut Fizyki Jądrowej im. Henryka Niewodniczańskiego PAN

Extensional Ontology and Philosophical Logic

Call: OPUS 2 , Panel: HS1

Principal investigator: dr hab. Andrzej Paweł Biłat

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