Tytuł projektu: Struktura i interpretacja języków programowania w paradygmacie "dowody jako programy"
Instytucja: Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Miasto: Wrocław
Województwo: dolnośląskie
Kierownik projektu: dr Małgorzata Biernacka
Panel: ST6 (obszar: ST)
Liczba wykonawców: 5
Finansowanie: 399220 PLN
Okres realizacji: 2012-08-31 00:00:00 – 2016-02-29 00:00:00 (42 miesięcy)