Projects funded by the NCN

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

Numerical and structural invariants in algebra, logic and constraint satisfaction problems

Call: MAESTRO 6 , Panel: ST6

Principal investigator: prof. Paweł Idziak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Groups definable in valued fields, definable Kneser-Tits problem and metastable theories

Call: SONATA 7 , Panel: ST1

Principal investigator: dr Jakub Gismatullin

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

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

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

Call: OPUS 5 , Panel: ST6

Principal investigator: dr hab. Lidia Tendera

Uniwersytet Opolski

Freedom and independence in algebra and topology

Call: SONATA 4 , Panel: ST1

Principal investigator: dr hab. Szymon Głąb

Politechnika Łódzka, Wydział Fizyki Technicznej, Informatyki i Matematyki Stosowanej

New Logical-Mathematical Methods in Applied Sciences and Modelling of Decision Making

Call: OPUS 4 , Panel: HS1

Principal investigator: prof. Jan Hertrich-Woleński

Wyższa Szkoła Informatyki i Zarządzania w Rzeszowie, Wydział Administracji i Nauk Społecznych

Applications of infinitary combinatorics and analytic topology in Banach spaces and related structures.

Call: OPUS 1 , Panel: ST1

Principal investigator: prof. Piotr Koszmider

Instytut Matematyczny Polskiej Akademii Nauk

Automation of the Problem of Unification in Description Logics

Call: POLONEZ BIS 3 , Panel: ST6

Principal investigator: dr hab. Barbara Morawska

Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

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

(Anti)Classification and invariants in dynamics

Call: POLONEZ BIS 1 , Panel: ST1

Principal investigator: dr Philipp Kunde

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Selected topics in applications of set theory in functional analysis

Call: PRELUDIUM 20 , Panel: ST1

Principal investigator: Damian Głodkowski

Instytut Matematyczny Polskiej Akademii Nauk

From expressive description logics to mulit-variable fragments of first-order logic: resoning in finite structures

Call: OPUS 21 , Panel: ST6

Principal investigator: dr hab. Emanuel Kieroński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Decision procedures in verification

Call: OPUS 2 , Panel: ST6

Principal investigator: prof. Witold Charatonik

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Set theoretic methods in analytic topology: from pointwise convergence and Banach spaces to operator algebras

Call: OPUS 19 , Panel: ST1

Principal investigator: prof. Witold Marciszewski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Classification problems in topological dynamics and ergodic theory

Call: PRELUDIUM BIS 1 , Panel: ST1

Principal investigator: dr hab. Dominik Kwietniak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Set theoretic methods in dynamics and number theory

Call: SONATA BIS 9 , Panel: ST1

Principal investigator: dr hab. William Mance

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

Challenges to automated reasoning in decidable fragments of first-order logic: trees, orders and numerals

Call: OPUS 16 , Panel: ST6

Principal investigator: dr hab. Lidia Tendera

Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

Infinity in reasoning about data and knowledge

Call: SONATA BIS 8 , Panel: ST6

Principal investigator: dr hab. Filip Murlak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Abstract methods in Banach space theory.

Call: OPUS 15 , Panel: ST1

Principal investigator: prof. Grzegorz Plebanek

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Effective computations in predicative mathematics

Call: SONATINA 2 , Panel: ST6

Principal investigator: dr Michał Przybyłek

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Open problems in valuation theory in positive characteristic

Call: OPUS 13 , Panel: ST1

Principal investigator: prof. Franz-Viktor Kuhlmann

Uniwersytet Szczeciński, Wydział Matematyczno-Fizyczny

Acceleration of information searching in large data sets by means of hardware methods

Call: OPUS 1 , Panel: ST6

Principal investigator: prof. Kazimierz Wiatr

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

Algebraic and topological methods in model theory

Call: SONATA BIS 6 , Panel: ST1

Principal investigator: prof. Krzysztof Krupiński

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

Quantitative aspects of computational complexity in lambda calculus

Call: PRELUDIUM 11 , Panel: ST6

Principal investigator: dr Maciej Bendkowski

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Fuzzy Implications and Their Impact on Various Methods Used in Intelligent Systems.

Call: OPUS 10 , Panel: ST6

Principal investigator: dr hab. Michał Baczyński

Uniwersytet Śląski w Katowicach, Wydział Nauk Ścisłych i Technicznych

Modern methods in complex affine geometry.

Call: SONATA BIS 5 , Panel: ST1

Principal investigator: dr Karol Palka

Instytut Matematyczny Polskiej Akademii Nauk