Projects funded by the NCN

Formal theories of truth and nonstandard models of arithmetic

Call: PRELUDIUM 7 , Panel: HS1

Principal investigator: Michał Tomasz Godziszewski

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

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

Call: PRELUDIUM 3 , Panel: HS4

Principal investigator: Jaromar Marceli Łukowicz

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

Colloquial reproducts of Polish language. Formal, semantic and pragmatic analysis of a weekly column published in "Przek...

Call: PRELUDIUM 3 , Panel: HS2

Principal investigator: dr Ewa Barbara Kozioł-Chrzanowska

Uniwersytet Warszawski, Wydział Polonistyki

Syntactic-semantic analysis of the lexemes TO

Call: PRELUDIUM 21 , Panel: HS2

Principal investigator: Sebastian Jakub Zawada

Instytut Podstaw Informatyki Polskiej Akademii Nauk

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ł Neofilologii

Reinterpreting anaphora: towards ambiguity-first approach

Call: PRELUDIUM 20 , Panel: HS1

Principal investigator: Antonina Weronika Jamrozik

Uniwersytet Warszawski, Wydział Filozofii

Abstract Machines for Programming Languages: Investigations in Formal Interderivations

Call: OPUS 17 , Panel: ST6

Principal investigator: prof. Witold Charatonik

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki