W dniu 10 maja (czwartek) od godz. 9:30 w sali 109/110 w budynku przy ul. Wojska Polskiego 1 odbędzie się wykład dr hab. prof. nadzw. UG Christopha Schwarzweller nt. Automatyczne dowody twierdzeń. 

...