Formalisation of condensed maths in Copenhagen

Stream: condensed mathematics

[Dagur Asgeirsson]

In case someone in this stream had missed it: we're organising a masterclass on the formalisation of condensed mathematics in Copenhagen in June 2023. The deadline for registration if you want to apply for funding is in four days! The speakers are Adam Topaz and Kevin Buzzard.
https://www.math.ku.dk/english/calendar/events/formalisation-of-mathematics/