Finnish Mathematical Society Colloquium, October 18, 2023
On Wednesday 18.10. at 16:15 there will be a Finnish Mathematical Society online colloquium talk on formalized mathematics, given by professor Heather Macbeth (Fordham University). Details about the talk can be found in the departmental seminar list.