BIRS workshop on formalization of cohomology theories

Stream: general

[Notification Bot]

4 messages were moved here from #announce > BIRS workshop on formalization of cohomology theories by Johan Commelin.

[Brendan Seamas Murphy]

Wow, I have excellent timing apparently!

[Matthew Ballard]

The outward facing webpage for the event is: https://www.birs.ca/events/2023/5-day-workshops/23w5124

[Tchsurvives]

Are there recordings anywhere?

[Junyan Xu]

https://www.birs.ca/events/2023/5-day-workshops/23w5124/videos