Dnia 4 października (środa) o godz. 10:15 na Wydziale Matematyki i Informatyki odbędzie się uroczysta inauguracja roku akademickiego 2017/2018.
Wykład inauguracyjny pt.: Komputerowo wspomagana formalizacja i weryfikacja dowodów matematycznych wygłosi dr hab. Artur Korniłowicz.