Projects funded by the NCN

Hybridizing Fragments of Halpern-Shoham Logic

Call: PRELUDIUM 12 , Panel: HS1

Principal investigator: Przemysław Andrzej Wałęga

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

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

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: dr Dipl. Inform. Sebastian Siebertz

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Cyclotriphophazene systems functionalized with (S)-proline derivatives, their synthesis and investigation of complexing ...

Call: PRELUDIUM 10 , Panel: ST5

Principal investigator: dr Natalia Anna Gutowska

Uniwersytet Łódzki, Wydział Chemii

Lévy processes with completely monotone jumps

Call: OPUS 10 , Panel: ST1

Principal investigator: dr hab. Mateusz Stefan Kwaśnicki

Politechnika Wrocławska, Wydział Matematyki

Acquisition of language complexity in foreign language teaching and learning

Call: HARMONIA 7 , Panel: HS2

Principal investigator: prof. Urszula Paprocka-Piotrowska

Katolicki Uniwersytet Lubelski Jana Pawła II, Wydział Nauk Humanistycznych

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