Projekty finansowane przez NCN
Wyniki wyszukiwania
Znaleziono 2 projektów spełniających kryteria wyszukiwania:
-
Logiki wyższych rzędów a zjawisko absolutności w teorii mnogości
Konkurs: SONATA 19 , panel: HS1
Kierownik: dr Bartosz Wcisło
Uniwersytet Gdański, Wydział Nauk Społecznych
-
Skalowalne metody wnioskowania o imperatywnych programach współbieżnych
Konkurs: SONATA 12 , panel: ST6
Kierownik: dr Filip Sieczkowski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki