Projects funded by the NCN

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 Kołodziejczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

The keystone structure concept: multilevel significance of bird nests as the proof of the existence of critical ecosyste...

Call: OPUS 21 , Panel: NZ8

Principal investigator: dr hab. Michał Adam Ciach

Uniwersytet Rolniczy im. Hugona Kołłątaja w Krakowie, Wydział Leśny

Fair Problems and Diverse Solutions in Parameterized Complexity

Call: SONATA 17 , Panel: ST6

Principal investigator: dr Tomáš Masařík

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Constraint Satisfaction Problems and Quantified Constraint Satisfaction Problems in the context of Temporal Reasoning.

Call: SONATA 1 , Panel: ST6

Principal investigator: dr Michał Wrona

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

Constraint Satisfaction Problems for infinite homogeneous structures: towards algorithms

Call: OPUS 19 , Panel: ST6

Principal investigator: dr hab. Michał Maria Wrona

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Tractability of non-homogenous multivariate problems

Call: PRELUDIUM 4 , Panel: ST1

Principal investigator: dr Paweł Siedlecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Automatic reasoning about specifications in simple logics - decidability and complexity issues

Call: OPUS 5 , Panel: ST6

Principal investigator: dr hab. Lidia Tendera

Uniwersytet Opolski

Graph separation problems from the perspective of parameterized complexity.

Call: PRELUDIUM 10 , Panel: ST6

Principal investigator: Paweł Komosa

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Decision Problems for Logics with Weak Forms of Recursion

Call: PRELUDIUM 23 , Panel: ST6

Principal investigator: Bartosz Bednarczyk

Uniwersytet Wrocławski

Deductive systems and decidability problem for hybrid logics

Call: PRELUDIUM 1 , Panel: HS1

Principal investigator: dr Michał Zawidzki

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

Discrete optimization problems under uncertainty - models and algorithms

Call: OPUS 13 , Panel: ST6

Principal investigator: prof. Paweł Zieliński

Politechnika Wrocławska

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

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

Constraint Satisfaction Problems: beyond the finite case

Call: WEAVE-UNISONO , Panel: ST6

Principal investigator: dr hab. Marcin Kozik

Uniwersytet Jagielloński

Continuous problems: optimality, complexity, tractability

Call: OPUS 5 , Panel: ST1

Principal investigator: prof. Leszek Plaskota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

A century of translation for children and young readers in Poland - the translators' and publishers' strategies. Based u...

Call: OPUS 3 , Panel: HS2

Principal investigator: dr Natalia Paprocka

Uniwersytet Wrocławski, Wydział Filologiczny

Hierarchy-type Problems for Automata on Infinite Words and Trees

Call: PRELUDIUM 3 , Panel: ST6

Principal investigator: dr Michał Skrzypczak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki