Class Field Theory in Oxford

Stream: maths

[Kevin Buzzard]

This is a discussion thread for the Clay maths summer school on formalization of class field theory in Lean (here is the annoucement )

[Jack McKoen]

Will there be a dedicated channel for the workshop?

[Kevin Buzzard]

Yes

[William Coram]

Since Kevin is still hiding the channel from us, I am going to use this thread for now. For the people arriving today, if anybody wants to get food (and a drink?) tonight, feel free to dm me or we can arrange something here.

[Kevin Buzzard]

Sorry, I've been having a travel nightmare and woke up in France this morning (which was not part of the plan). I've just made it to Oxford and will set up the channel now

[Kevin Buzzard]

Anyone who wants access please DM me and I'll add you, I'm really sorry not to be more organised but I have a talk to prepare

[Yaël Dillies]

All my condolences for waking up in France. I know what it is.

[Kevin Buzzard]

I didn't mind it in general (indeed I'd done it quite happily for the week beforehand), it was just the shock that I also had to do it on the day I was expecting to be waking up in London after a good night's sleep and having all day to prepare for the workshop.