Note | ||
---|---|---|

| ||

On Wednesday 1618.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. |