Projekty finansowane przez NCN

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

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

Potoczne reprodukty języka polskiego. Analiza formalna, semantyczna i pragmatyczna na materiale rubryki "Przekroju" "Hec...

Konkurs: PRELUDIUM 3 , panel: HS2

Kierownik: dr Ewa Kozioł-Chrzanowska

Uniwersytet Warszawski, Wydział Polonistyki

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

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

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