W nadchodzący czwartek 5 marca zapraszamy serdecznie na krótki wykład dra. Tomasza Kapeli zatytułowany “Komputerowo wspierane dowody w układach dynamicznych”.
KsiTalk odbędzie się jak zwykle w sali nr. 1173 (siedziba KSI) o godz. 18:00.
Po części oficjalnej przewidujemy KSIową integrację :)