Projekty finansowane przez NCN
Efektywne obliczenia w predykatywnej matematyce
2018/28/C/ST6/00417
Słowa kluczowe:
Deskryptory:
- ST1_1: Logika i podstawy matematyki
- ST1_15: Matematyczne aspekty informatyki
- ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna
Panel:
ST6 - Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne
Jednostka realizująca:
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
woj. mazowieckie
Konkurs: SONATINA 2 - ogłoszony 2017-12-15
Przyznana kwota: 561 373 PLN
Rozpoczęcie projektu: 2018-10-22
Zakończenie projektu: 2022-05-21
Planowany czas trwania projektu: 43 miesięcy (z wniosku)
Status projektu: Projekt rozliczony
Opis Projektu
Pobierz opis projektu w formacie .pdf
Uwaga - opisy projektów zostały sporządzone przez samych autorów wniosków i w niezmienionej formie umieszczone w systemie.
Dane z raportu końcowego/rocznego
- Publikacje w czasopismach (2)
- Teksty w publikacjach pokonferencyjnych (2)
- Beyond sets with atoms: definability in first-order logicAutorzy:Michał PrzybyłekCzasopismo:Annals of Pure and Applied Logic , Wydawca: ElsevierStatus:ZłożonaDoi:brak - link do publikacji
- A note on the complexity of a phaseless polynomial interpolationAutorzy:Michał Przybyłek, Paweł SiedleckiCzasopismo:Journal of Complexity (rok: 2019, tom: I, strony: 101456), Wydawca: ElsevierStatus:OpublikowanaDoi:10.1016/j.jco.2019.101456 - link do publikacji
- On amenability of constraint satisfaction problemsAutorzy:Michał PrzybyłekKonferencja:36th Annual Symposium on Logic in Computer Science (LICS) (rok: 2021, ), Wydawca: Association for Computing MachineryData:konferencja 29 June - 02 July 2021Status:Złożona
- Nominal ProbabilityAutorzy:Michał R. PrzybyłekKonferencja:The 49th EATCS International Colloquium on Automata, Languages, and Programming (rok: 2021, ), Wydawca: Leibniz International Proceedings in InformaticsData:konferencja 2022Status:Złożona