Tytuł projektu: Zagadnienia rozstrzygalności w teorii automatów na strukturach nieskończonych
Instytucja: Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Miasto: Warszawa
Województwo: mazowieckie
Kierownik projektu: prof. Damian Tadeusz Niwiński
Panel: ST6 (obszar: ST)
Liczba wykonawców: 10
Finansowanie: 499500 PLN
Okres realizacji: 2015-02-04 00:00:00 – 2018-12-03 00:00:00 (46 miesięcy)