Projekty finansowane przez NCN

Model formalny diachronicznego opisu fleksji polskiej i jego komputerowa implementacja

Konkurs: OPUS 8 , panel: HS2

Kierownik: dr Marcin Woliński

Instytut Podstaw Informatyki Polskiej Akademii Nauk

Kompresja, logika, języki formalne: nowe podejścia łączące różne dziedziny.

Konkurs: OPUS 8 , panel: ST6

Kierownik: dr hab. Artur Jeż

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Formalne teorie prawdy i niestandardowe modele arytmetyki

Konkurs: PRELUDIUM 7 , panel: HS1

Kierownik: Michał Godziszewski

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Języki i Uczenie w General Game Playing

Konkurs: PRELUDIUM 7 , panel: ST6

Kierownik: Jakub Kowalski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Wydajne algorytmy i reprezentacje w teorii języków formalnych i automatów.

Konkurs: SONATA 1 , panel: ST6

Kierownik: dr Artur Jeż

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konstruowanie specyfikacji i weryfikacja oprogramowania

Konkurs: OPUS 6 , panel: ST6

Kierownik: prof. Andrzej Tarlecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Wyzwania semistrukturalnych baz danych

Konkurs: SONATA 6 , panel: ST6

Kierownik: dr Filip Murlak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Asymptotyczne metody w rachunku lambda i logice kombinatorycznej

Konkurs: OPUS 6 , panel: ST6

Kierownik: prof. Marek Zaionc

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Algorytmy poprawy czytelności rozumowań w systemie naturalnej dedukcji

Konkurs: PRELUDIUM 4 , panel: ST6

Kierownik: dr Karol Pąk

Uniwersytet w Białymstoku, Wydział Matematyki i Informatyki

Automatyzacja wnioskowania konstruktywnego

Konkurs: OPUS 4 , panel: ST6

Kierownik: dr hab. Aleksy Schubert

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Granice rozstrzygalności w teorii automatów

Konkurs: SONATA 4 , panel: ST6

Kierownik: dr Paweł Parys

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Formalny kontekst występowania wyrażeń nominalnych i ich struktura wewnętrzna: generatywna analiza porównawcza

Konkurs: OPUS 4 , panel: HS2

Kierownik: prof. Jacek Witkoś

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Anglistyki

Metody formalizacji i kryteria racjonalności wnioskowań zawodnych

Konkurs: OPUS 3 , panel: HS1

Kierownik: dr hab. Anna Wójtowicz

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Struktura i interpretacja języków programowania w paradygmacie "dowody jako programy"

Konkurs: OPUS 2 , panel: ST6

Kierownik: dr Małgorzata Biernacka

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Religia i duchowość w RPA, Botswanie i Eswatini. Rdzenne wierzenia, ich przenikanie się z chrześcijaństwem i nowymi form...

Konkurs: OPUS 25 , panel: HS1

Kierownik: dr Agnieszka Podolecka

Uniwersytet Warszawski, Wydział Orientalistyczny

Rozwój regułowych języków zapytań stosowanych w systemach inteligentnych

Konkurs: OPUS 1 , panel: ST6

Kierownik: prof. Andrzej Szałas

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

A formal treatment of epistemic injustice

Konkurs: POLONEZ BIS 2 , panel: HS1

Kierownik: dr Christoph Merdes

Uniwersytet Jagielloński, Wydział Filozoficzny

Metoda ujednoliconej wymiany reguł na poziomie semantycznym w systemach z bazą wiedzy. (SaMURaI)

Konkurs: PRELUDIUM 2 , panel: ST6

Kierownik: Krzysztof Kaczor

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej

Od wielojęzycznego korpusu równoległego do semantycznej mikro-typologii PERFECTUM w językach słowiańskich i bałtyckich...

Konkurs: SONATA BIS 11 , panel: HS2

Kierownik: dr Dorota Klimek-Jankowska

Uniwersytet Wrocławski, Wydział Filologiczny

Automaty skończone: wybrane problemy i zastosowania łączące różne obszary badań

Konkurs: OPUS 21 , panel: ST6

Kierownik: dr Marek Szykuła

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Nietrafność epistemiczna a podstawowe problemy epistemologii formalnej

Konkurs: SONATA BIS 9 , panel: HS1

Kierownik: dr hab. Leszek Wroński

Uniwersytet Jagielloński, Wydział Filozoficzny

Maszyny abstrakcyjne dla języków programowania: podejście derywacyjne

Konkurs: OPUS 17 , panel: ST6

Kierownik: prof. Witold Charatonik

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Efekty algebraiczne: kompozycja i koindukcja

Konkurs: SONATA 14 , panel: ST6

Kierownik: dr Maciej Piróg

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Klasyczne problemy w teorii automatów skończonych: nowe podejścia, warianty i zastosowania

Konkurs: OPUS 13 , panel: ST6

Kierownik: dr Marek Szykuła

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Niestandardowe modele arytmetyki i formalne teorie prawdy

Konkurs: ETIUDA 5 , panel: HS1

Kierownik: Michał Godziszewski

Uniwersytet Warszawski, Wydział Filozofii

Problem separacji w teorii automatów

Konkurs: SONATA 11 , panel: ST6

Kierownik: dr Wojciech Czerwiński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Czy język ekonomii ogranicza jej moc wyjaśniającą? Analiza wpływu nierealistycznych założeń, matematycznego formalizmu i...

Konkurs: SONATA 1 , panel: HS4

Kierownik: dr Łukasz Hardt

Uniwersytet Warszawski, Wydział Nauk Ekonomicznych

Metateoria systemów tablicowych

Konkurs: OPUS 10 , panel: HS1

Kierownik: dr hab. Tomasz Jarmużek

Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny

Epistemologiczne aspekty zastosowania implikacji treściowej jako narzędzia formalizacji wyrażeń języka naturalnego.

Konkurs: OPUS 9 , panel: HS1

Kierownik: dr hab. Piotr Łukowski

Uniwersytet Łódzki, Wydział Nauk o Wychowaniu