Tytuł projektu: Automatyczne odkrywanie i wykorzystywanie wiedzy dziedzinowej do priorytetyzacji przeszukiwania w problemie automatycznej syntezy programów
Instytucja: Politechnika Poznańska, Wydział Informatyki i Telekomunikacji
Miasto: Poznań
Województwo: wielkopolskie
Kierownik projektu: Iwo Piotr Błądek
Panel: ST6 (obszar: ST)
Liczba wykonawców: 2
Finansowanie: 88340 PLN
Okres realizacji: 2019-02-06 00:00:00 – 2023-02-05 00:00:00 (48 miesięcy)