Projects funded by the NCN

From Games to Algorithms: Exploring Reasoning in Description Logics

Call: OPUS 29 , Panel: ST6

Principal investigator: dr hab. Barbara Morawska

Uniwersytet Opolski

Structural complexity measures for foundational theories

Call: WEAVE-UNISONO , Panel: HS1

Principal investigator: dr Mateusz Zbigniew Łełyk

Uniwersytet Warszawski

Efficient algorithms for NP-hard problems on planar graphs

Call: SONATA 19 , Panel: ST6

Principal investigator: dr Michał Włodarczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Complexity and describability in Analysis: from freeness to polishness

Call: SONATA BIS 13 , Panel: ST1

Principal investigator: dr hab. Tomasz Marcin Kania

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Dynamical systems and descriptive complexity

Call: SONATA 18 , Panel: ST1

Principal investigator: dr Felipe García-Ramos Aguilar

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Cantor dynamical systems and their classification

Call: SONATA 15 , Panel: ST1

Principal investigator: dr Olena Karpel

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Matematyki Stosowanej

Quantum Information in Quantum Field Theories and Holography: Dynamics and Complexity.

Call: SONATA BIS 9 , Panel: ST2

Principal investigator: dr hab. Paweł Piotr Caputa

Uniwersytet Warszawski, Wydział Fizyki

Infinity in reasoning about data and knowledge

Call: SONATA BIS 8 , Panel: ST6

Principal investigator: dr hab. Filip Marek Murlak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

Distributed deductive systems for classical and non-classical logics. Proof theory supported with computational methods

Call: SONATA BIS 7 , Panel: HS1

Principal investigator: dr hab. Dorota Leszczyńska-Jasion

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Psychologii i Kognitywistyki

Complexity and fidelity susceptibility in holography

Call: SONATINA 1 , Panel: ST2

Principal investigator: dr Mario Rainer Flory

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

One Step From the Relational Model. A Couple of Database Theory Puzzles.

Call: OPUS 12 , Panel: ST6

Principal investigator: prof. Jerzy Marcinkowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

INVARIANTS AND METHODS OF APPLIED TOPOLOGY

Call: OPUS 10 , Panel: ST1

Principal investigator: prof. Wacław Bolesław Marzantowicz

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

Algorithmic Structure Theory for Sparse Graphs

Call: POLONEZ 1 , Panel: ST6

Principal investigator: Dipl. Inform. Sebastian Siebertz

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Algebraic theory for CSP (tractability, approximation and optimization)

Call: OPUS 7 , Panel: ST6

Principal investigator: dr hab. Marcin Andrzej Kozik

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Algorithmic Learning Theory and Computational Models of Cognitive Capabilities Acquisition

Call: OPUS 6 , Panel: HS1

Principal investigator: dr hab. Marcin Mostowski

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Combinatorial and information theory aspects of communication in distributed systems.

Call: PRELUDIUM 5 , Panel: ST6

Principal investigator: dr Marcin Kardas

Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

parameters of finite models

Call: SONATA 4 , Panel: ST6

Principal investigator: dr Eryk Kopczyński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Complex models in scheduling problems and methods of their solution

Call: OPUS 2 , Panel: ST6

Principal investigator: prof. Adam Antoni Janiak

Instytut Badań Systemowych PAN

Deductive systems and decidability problem for hybrid logics

Call: PRELUDIUM 1 , Panel: HS1

Principal investigator: dr Michał Ksawery Zawidzki

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny