Tytuł projektu: Logiki do przetwarzania danych i weryfikacji
Instytucja: Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Miasto: Wrocław
Województwo: dolnośląskie
Kierownik projektu: dr Jakub Dawid Michaliszyn
Panel: ST6 (obszar: ST)
Liczba wykonawców: 4
Finansowanie: 419250 PLN
Okres realizacji: 2015-09-22 00:00:00 – 2018-09-21 00:00:00 (36 miesięcy)