Seminaria naukowe w Katedrze Matematyki Komputerowej prowadzone są przez prof. dr hab. Mariana Mrozka. Tematyka seminarium dotyczy algorytmów topologii, algorytmów układów dynamicznych oraz równań różniczkowych. Poruszane są również zagadnienia komputerowo wspieranych dowodów w matematyce układów ciągłych.