Tytuł projektu: Kompresja, logika, języki formalne: nowe podejścia łączące różne dziedziny.
Instytucja: Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Miasto: Wrocław
Województwo: dolnośląskie
Kierownik projektu: dr hab. Artur Jeż
Panel: ST6 (obszar: ST)
Liczba wykonawców: 5
Finansowanie: 646000 PLN
Okres realizacji: 2015-07-22 00:00:00 – 2018-12-21 00:00:00 (41 miesięcy)