Projects funded by the NCN

Legal Consequences of Non-Compliance with Formal Requirements in the Polish Private Law in the Context of Comparative Re...

Call: PRELUDIUM 2 , Panel: HS5

Principal investigator: Mateusz Grochowski

Instytut Nauk Prawnych PAN

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

Foundations of Cryptocurrencies

Call: OPUS 7 , Panel: ST6

Principal investigator: dr hab. Stefan Dziembowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

European Council in the process of shaping its formal and informal powers within the scope of EU external actions

Call: OPUS 10 , Panel: HS5

Principal investigator: dr hab. Beata Przybylska-Maszner

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Nauk Politycznych i Dziennikarstwa

Organizational Ethnography of Festivals of Street Performers

Call: PRELUDIUM 19 , Panel: HS4

Principal investigator: dr Marta Katarzyna Połeć

Akademia Leona Koźmińskiego, Wydział Zarządzania i Komunikacji Społecznej

Analysis and decomposition of a control part of a cyber-physical system specified by an interpreted Petri net.

Call: OPUS 18 , Panel: ST6

Principal investigator: dr hab. Remigiusz Grzegorz Wiśniewski

Uniwersytet Zielonogórski

A diachronic formal model of Polish inflection and its implementation

Call: OPUS 8 , Panel: HS2

Principal investigator: dr Marcin Woliński

Instytut Podstaw Informatyki Polskiej Akademii Nauk

A formal treatment of epistemic injustice

Call: POLONEZ BIS 2 , Panel: HS1

Principal investigator: dr Christoph Merdes

Uniwersytet Jagielloński, Wydział Filozoficzny

Counting models in formal verification

Call: SONATA BIS 12 , Panel: ST6

Principal investigator: dr Filip Mazowiecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Dual Catalytic System Based on Combination of MHAT and SH2 Mechanisms: A Novel Platform for Formal Cross-Coupling of Tra...

Call: SONATA 18 , Panel: ST4

Principal investigator: dr Michał Piotr Ociepa

Instytut Chemii Organicznej Polskiej Akademii Nauk

Conceptual, formal and practical aspects of forensic and judicial applications of probabilistic tools.

Call: SONATA BIS 6 , Panel: HS1

Principal investigator: dr hab. Rafał Urbaniak

Uniwersytet Gdański, Wydział 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

"Who Wins and Who Loses in Parliamentary Elections: From Formal Theory to Empirical Analyses"

Call: SONATA BIS 1 , Panel: HS6

Principal investigator: dr Joshua Dubrow

Instytut Filozofii i Socjologii PAN

Formal approach to practical problems of information hiding

Call: OPUS 5 , Panel: ST6

Principal investigator: dr hab. Marek Klonowski

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

Formal truth theories

Call: OPUS 7 , Panel: HS1

Principal investigator: dr hab. Cezary Cieśliński

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

New trends in the architecture of transparent facades - formal experiments, technological innovations

Call: OPUS 8 , Panel: ST8

Principal investigator: dr hab. Marcin Brzezicki

Politechnika Wrocławska, Wydział Architektury

Women in intimate relationships. Empirical and critical study

Call: SONATA 1 , Panel: HS6

Principal investigator: dr Monika Grochalska

Uniwersytet Warmińsko-Mazurski w Olsztynie, Wydział Nauk Społecznych

Examination of patterns of impairments in poor singers in terms of pitch accuracy using acoustical measures.

Call: PRELUDIUM 1 , Panel: HS6

Principal investigator: Magdalena Berkowska

Wyższa Szkoła Finansów i Zarządzania w Warszawie, Wydział Psychologii

Business process discovery methods and process calculus for RESTful systems.

Call: PRELUDIUM 3 , Panel: ST6

Principal investigator: Andrzej Stroiński

Politechnika Poznańska, Wydział Informatyki

Interdisciplinary examinations on teh Early Medieval (7th-10th/11th c.) pottery workshop in the middle Odra River basin

Call: PRELUDIUM 3 , Panel: HS3

Principal investigator: dr Bartłomiej Gruszka

Uniwersytet Wrocławski, Wydział Nauk Historycznych i Pedagogicznych

A formal analysis of the distribution and internal architecture of nominal expressions: a comparative generative study

Call: OPUS 4 , Panel: HS2

Principal investigator: prof. Jacek Witkoś

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Anglistyki

Formal features of conscious representations

Call: PRELUDIUM 13 , Panel: HS6

Principal investigator: Simon Del Pin

Uniwersytet Jagielloński, Wydział Filozoficzny

Robotic system design methodology based on a formal specification

Call: PRELUDIUM 13 , Panel: ST7

Principal investigator: Maksym Figat

Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych

Unfinished migration transition and ageing population in Poland. Asynchronous population changes and the transformation ...

Call: MAESTRO 4 , Panel: HS4

Principal investigator: prof. Marek Okólski

Uniwersytet Warszawski, Ośrodek Badań nad Migracjami

The synthesis of heterocyclic analogues of polycyclic aromatic hydrocarbons via multiple dehydrogenative coupling

Call: PRELUDIUM 5 , Panel: ST5

Principal investigator: Kamil Skonieczny

Instytut Chemii Organicznej PAN

Formal theories of truth and nonstandard models of arithmetic

Call: PRELUDIUM 7 , Panel: HS1

Principal investigator: Michał Godziszewski

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Epistemic inaccuracy and foundational issues in formal epistemology

Call: SONATA BIS 9 , Panel: HS1

Principal investigator: dr hab. Leszek Jerzy Wroński

Uniwersytet Jagielloński, Wydział Filozoficzny

Critical analysis of existing systems of deontic action logic, their comparison, study of their cognitive and practical ...

Call: SONATA 1 , Panel: HS1

Principal investigator: dr Robert Trypuz

TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II

Efficient algorithms and representations in formal languages and automata theory.

Call: SONATA 1 , Panel: ST6

Principal investigator: dr Artur Jeż

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

The influence of formal and informal institutional factors on the survival of newly created companies from the example o...

Call: PRELUDIUM 1 , Panel: HS4

Principal investigator: dr Hanna Nowak

Uniwersytet Ekonomiczny w Poznaniu, Wydział Zarządzania

Modelling of dynamic spatial phenomena, combining static / spatial representation and dynamic / temporal context, for su...

Call: PRELUDIUM 3 , Panel: HS4

Principal investigator: Jaromar Łukowicz

Uniwersytet Przyrodniczy we Wrocławiu, Wydział Inżynierii Kształtowania Środowiska i Geodezji

Arithmetic properties of formal groups

Call: OPUS 11 , Panel: ST1

Principal investigator: dr Mariia Vlasenko

Instytut Matematyczny Polskiej Akademii Nauk

Niestandardowe modele arytmetyki i formalne teorie prawdy

Call: ETIUDA 5 , Panel: HS1

Principal investigator: Michał Godziszewski

Uniwersytet Warszawski, Wydział Filozofii

Automatic analysis of concurrent systems

Call: OPUS 14 , Panel: ST6

Principal investigator: prof. Sławomir Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Compression, logic, formal langauges: new approaches unifying different areas.

Call: OPUS 8 , Panel: ST6

Principal investigator: dr hab. Artur Jeż

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Epistemological aspects of the application of content implication as instrument of formalization of the expressions of n...

Call: OPUS 9 , Panel: HS1

Principal investigator: dr hab. Piotr Łukowski

Uniwersytet Łódzki, Wydział Nauk o Wychowaniu

Formal versus De Facto Rules in Economic Studies of Postsocialist Countries' Constitutions

Call: OPUS 7 , Panel: HS4

Principal investigator: dr hab. Katarzyna Metelska-Szaniawska

Uniwersytet Warszawski, Wydział Nauk Ekonomicznych

Does the language of economics limit its explanatory power? Analyzing the impact of unrealistic assumptions, mathematica...

Call: SONATA 1 , Panel: HS4

Principal investigator: dr Łukasz Hardt

Uniwersytet Warszawski, Wydział Nauk Ekonomicznych

Skutki naruszenia wymogów formalnych oświadczeń w prawie prywatnym

Call: ETIUDA 1 , Panel: HS5

Principal investigator: Mateusz Grochowski

Instytut Nauk Prawnych PAN

Postawy pracowników organizacji formalnych wobec zmiany organizacyjnej. Analiza socjologiczna

Call: ETIUDA 2 , Panel: HS6

Principal investigator: Witold Nowak

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Nauk Społecznych

Metatheory of Tableau Systems

Call: OPUS 10 , Panel: HS1

Principal investigator: dr hab. Tomasz Jarmużek

Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny

Grammatical inference methods in classification of amyloidogenic proteins

Call: OPUS 11 , Panel: ST6

Principal investigator: dr hab. Olgierd Unold

Politechnika Wrocławska

From a multilingual parallel corpus to the micro-typology of the PERFECT in Baltic and Slavic

Call: SONATA BIS 11 , Panel: HS2

Principal investigator: dr Dorota Emilia Klimek-Jankowska

Uniwersytet Wrocławski, Wydział Filologiczny

Algorithmic models of prediction: formal properties and philosophical implications

Call: OPUS 16 , Panel: HS1

Principal investigator: dr Dariusz Kalociński

Instytut Podstaw Informatyki Polskiej Akademii Nauk

Elder neglect and self-neglect - challenges for formal and informal caregivers and medical and social professional care ...

Call: OPUS 7 , Panel: NZ7

Principal investigator: prof. Tomasz Grodzicki

Uniwersytet Jagielloński - Collegium Medicum, Collegium Medicum, Wydział Lekarski