Projects funded by the NCN

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

Automatisation of constructive logic

Call: OPUS 4 , Panel: ST6

Principal investigator: dr hab. Aleksy Schubert

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

Structure and interpretation of programming languages in the "proofs-as-programs" paradigm

Call: OPUS 2 , Panel: ST6

Principal investigator: dr Małgorzata Biernacka

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Allocation of tasks in computer networks

Call: PRELUDIUM 2 , Panel: ST6

Principal investigator: dr Marcin Krzywkowski

POLITECHNIKA GDAŃSKA

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

An intelligent hybrid system for planning and composition of Web services

Call: OPUS 1 , Panel: ST6

Principal investigator: prof. Wojciech Penczek

Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach, Wydział Nauk Ścisłych