Tytuł projektu: Wydajne algorytmy i reprezentacje w teorii języków formalnych i automatów.
Instytucja: Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Miasto: Wrocław
Województwo: dolnośląskie
Kierownik projektu: dr Artur Jeż
Panel: ST6 (obszar: ST)
Liczba wykonawców: 5
Finansowanie: 500000 PLN
Okres realizacji: 2011-12-07 00:00:00 – 2015-06-06 00:00:00 (42 miesięcy)