Tytuł projektu: Modularna semantyka operacyjna: podejście bialgebraiczne
Instytucja: Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Miasto: Warszawa
Województwo: mazowieckie
Kierownik projektu: dr hab. Bartosz Klin
Panel: ST6 (obszar: ST)
Liczba wykonawców: 4
Finansowanie: 630000 PLN
Okres realizacji: 2013-07-11 00:00:00 – 2018-05-10 00:00:00 (58 miesięcy)