Tytuł projektu: Granice rozstrzygalności w teorii automatów
Instytucja: Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Miasto: Warszawa
Województwo: mazowieckie
Kierownik projektu: dr Paweł Parys
Panel: ST6 (obszar: ST)
Liczba wykonawców: 2
Finansowanie: 304200 PLN
Okres realizacji: 2013-07-09 00:00:00 – 2016-07-08 00:00:00 (36 miesięcy)