Projects funded by the NCN

Reasoning about programs in higher-order languages

Call: OPUS 8 , Panel: ST6

Principal investigator: prof. Witold Charatonik

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Formal theories of truth and nonstandard models of arithmetic

Call: PRELUDIUM 7 , Panel: HS1

Principal investigator: Michał Godziszewski

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Modular operational semantics: a bialgebraic approach

Call: SONATA BIS 2 , Panel: ST6

Principal investigator: dr hab. Bartosz Klin

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

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 Kozioł-Chrzanowska

Uniwersytet Warszawski, Wydział Polonistyki

Methodology of semantic models building based on mobile robot's observations

Call: SONATA 2 , Panel: ST6

Principal investigator: dr Janusz Będkowski

Instytut Maszyn Matematycznych

Syntactic-semantic analysis of the lexemes TO

Call: PRELUDIUM 21 , Panel: HS2

Principal investigator: Sebastian Zawada

Instytut Podstaw Informatyki Polskiej Akademii Nauk

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

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 Klimek-Jankowska

Uniwersytet Wrocławski, Wydział Filologiczny

Reinterpreting anaphora: towards ambiguity-first approach

Call: PRELUDIUM 20 , Panel: HS1

Principal investigator: Antonina 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

Algebraic effects: composition and coinduction

Call: SONATA 14 , Panel: ST6

Principal investigator: dr Maciej Piróg

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Mobile robot navigation using semantic information

Call: OPUS 1 , Panel: ST6

Principal investigator: dr hab. Barbara Siemiątkowska

Politechnika Warszawska, Wydział Mechatroniki

Algebraic Effects and Continuations

Call: POLONEZ 3 , Panel: ST6

Principal investigator: dr Maciej Piróg

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki