Projects funded by the NCN

Methodological principles of inferences in mixed-methods research

Call: OPUS 8 , Panel: HS1

Principal investigator: dr hab. Paweł Kawalec

Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego Jana Pawła II

A proposed model of the upward movement voids to the surface, causing discontinuous deformations

Call: OPUS 8 , Panel: ST10

Principal investigator: dr Agnieszka Malinowska

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Geodezji Górniczej i Inżynierii Środowiska

Selected SMT-based model checking methods

Call: PRELUDIUM 8 , Panel: ST6

Principal investigator: Agnieszka Zbrzezny

Akademia im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy

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

The development and synthesis of modern methods of uncertainty modeling for the solution of multiple-criteria decision m...

Call: OPUS 6 , Panel: ST6

Principal investigator: prof. Pavel Sevastsyanau

Politechnika Częstochowska, Wydział Inżynierii Mechanicznej 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

Optimal design of composite materials and structures subjected to fatigue loading conditions

Call: OPUS 5 , Panel: ST8

Principal investigator: prof. Aleksander Muc

Politechnika Krakowska im. Tadeusza Kościuszki, Wydział Mechaniczny

Development and implementation of model checking methods for real-time and multi-agent systems

Call: OPUS 1 , Panel: ST6

Principal investigator: dr hab. Bożena Woźna-Szcześniak

Akademia im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy

Empirical foundations and fringes of seventeenth-century philosophy

Call: OPUS 4 , Panel: HS1

Principal investigator: prof. Adam Grzeliński

Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny

Ontology of metaphysics

Call: OPUS 4 , Panel: HS1

Principal investigator: dr hab. Paweł Garbacz

TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II, Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego Jana Pawla II

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

The methods of formalization and criteria for the rationality of reasoning

Call: OPUS 3 , Panel: HS1

Principal investigator: dr hab. Anna Wójtowicz

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Methods of experimental philosophy - analysis, evaluation and recommendations

Call: PRELUDIUM 3 , Panel: HS1

Principal investigator: dr Adrian Ziółkowski

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Advanced Reasoning Methods and Optimization Techniques for the Problems of Ontology Classification and Consistency Check...

Call: OPUS 1 , Panel: ST6

Principal investigator: dr hab. Anh Linh Nguyen

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Philosophical and metalogical foundations of logic of names: semantics, tableaumethods and axiomatization

Call: OPUS 22 , Panel: HS1

Principal investigator: prof. Andrzej Pietruszczak

Uniwersytet Mikołaja Kopernika w Toruniu, Wydział Filozofii i Nauk Społecznych

Constraint Satisfaction Problems for infinite homogeneous structures: towards algorithms

Call: OPUS 19 , Panel: ST6

Principal investigator: dr Michał Wrona

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

A problem of the interrelations between analytic philosophy and phenomenology from the perspective of Lviv-Warsaw School

Call: PRELUDIUM 19 , Panel: HS1

Principal investigator: Aleksandra Gomułczak

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Filozoficzny

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

Is semantic structuralism necessarily set-theoretic structuralism? Methods of representation in Steven French's ontic st...

Call: ETIUDA 8 , Panel: HS1

Principal investigator: Agnieszka Proszewska

Uniwersytet Jagielloński, Wydział Filozoficzny

Continuous logic and its algebraic applications

Call: OPUS 1 , Panel: ST1

Principal investigator: prof. Aleksander Iwanow

Uniwersytet Wrocławski, 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

Model-theoretic methods in logic and the foundations of mathematics and science

Call: OPUS 15 , Panel: HS1

Principal investigator: dr Jeffrey Ketland

Uniwersytet Warszawski, Wydział Filozofii

Comparative analysis of structural representation methods. Case study: Ontic Structural Realism

Call: PRELUDIUM 15 , Panel: HS1

Principal investigator: Agnieszka Proszewska

Uniwersytet Jagielloński, Wydział Filozoficzny

Abstract methods in Banach space theory.

Call: OPUS 15 , Panel: ST1

Principal investigator: prof. Grzegorz Plebanek

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Research on sorption processes intensification methods in modified constructions of adsorbent beds

Call: OPUS 15 , Panel: ST8

Principal investigator: dr hab. Jarosław Krzywański

Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie, Wydział Nauk Ścisłych, Przyrodniczych i Technicznych

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

Scalable reasoning about concurrent imperative programs

Call: SONATA 12 , Panel: ST6

Principal investigator: dr Filip Sieczkowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

Descriptive set theory: structure and dynamics of Polish groups

Call: SONATA 12 , Panel: ST1

Principal investigator: dr Aleksandra Kwiatkowska

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

New methods of parametric modelling of consumer's preferences

Call: SONATA 10 , Panel: HS4

Principal investigator: prof. Mikołaj Czajkowski

Uniwersytet Warszawski, Wydział Nauk Ekonomicznych

Isabelle Emulator for Mizar: Environment for Mizar Mathematical Library Reverificationa

Call: SONATA 10 , Panel: ST6

Principal investigator: dr Karol Pąk

Uniwersytet w Białymstoku, Instytut 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

Tableau systems of relating logics motivated by philosophical interpretations of natural language connectives

Call: PRELUDIUM 10 , Panel: HS1

Principal investigator: Mateusz Klonowski

Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny

Modern methods in complex affine geometry.

Call: SONATA BIS 5 , Panel: ST1

Principal investigator: dr Karol Palka

Instytut Matematyczny Polskiej Akademii Nauk