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

Operational theories of the statutory interpretation as an act of the pragmatics

Call: SONATA 8 , Panel: HS5

Principal investigator: dr hab. Artur Kotowski

Akademia Leona Koźmińskiego

Specification development and software verification

Call: OPUS 6 , Panel: ST6

Principal investigator: prof. Andrzej Tarlecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

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

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

Development of rule-based query languages applied in intelligent systems

Call: OPUS 1 , Panel: ST6

Principal investigator: prof. Andrzej Szałas

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

How language of operation constrains communication of affect: Fundamental neurocognitive insights for a multilingual, em...

Call: OPUS 22 , Panel: HS6

Principal investigator: prof. Guillaume Thierry

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Anglistyki

Aspherical atom model - developing novel methods for crystal structure refinement of partially disordered materials

Call: OPUS 22 (LAP) , Panel: ST5

Principal investigator: dr hab. Wojciech Sławiński

Uniwersytet Warszawski, Wydział Chemii

Probabilistic entropy in engineering computations

Call: OPUS 21 , Panel: ST8

Principal investigator: prof. Marcin Kamiński

Politechnika Łódzka, Wydział Budownictwa, Architektury i Inżynierii Środowiska

Source-code-representations for machine-learning-based identification of defective code fragments

Call: OPUS 21 , Panel: ST6

Principal investigator: dr Mirosław Ochodek

Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

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