Banff videos

Stream: maths

[Kevin Buzzard]

The videos for the Banff cohomology conference have been slowly appearing over the last few days and it looks like they're all there now. I'm assuming this link http://www.birs.ca/events/2023/5-day-workshops/23w5124/videos works for everyone and not just participants?

[Adam Topaz]

yes, it should work for anyone on the internet.

[Sophie Morel]

Kevin Buzzard said:

The videos for the Banff cohomology conference have been slowly appearing over the last few days and it looks like they're all there now. I'm assuming this link http://www.birs.ca/events/2023/5-day-workshops/23w5124/videos works for everyone and not just participants?

Yes, I tested and it works for me.

[Oisin McGuinness]

The 2nd (Emily Witt) and 3rd (Oliver Nash) talks listed for Monday in the schedule (http://www.birs.ca/events/2023/5-day-workshops/23w5124/schedule ) are not yet in the video list. I wasn't able to attend the remote session for Monday; I presume these talks did happen, and just have not yet appeared in the video list?

[Oisin McGuinness]

This conference (from perspective of remote sessions) was very informative, and I would guess a lot of work got done on site! Many thanks to the organizers and the participants! Perhaps all of Scott's sorrys are now gone? :smile:

[Kevin Buzzard]

Oliver and Emily definitely both spoke: Emily demoed Macauley2 and there was a fruitful discussion which continued throughout the week about making Lean know all the definitions in Macauley2. Emily made a PR for local cohomology in Lean 3, which was merged. Oliver talked about defining topological K-theory and suggested several approaches, all of which nearly worked :-)

[Jireh Loreaux]

oh I would definitely like to see Oliver's talk.

[Adam Topaz]

If for some reason the remaining videos don't appear on the page by, say, Wednesday of next week, then I will email BIRS to see if they're available.

[Adam Topaz]

In the meantime, perhaps @Emily Witt and @Oliver Nash would be willing to post their slides here?

[Oliver Nash]

Here are my slides:
slides.pdf

[Oliver Nash]

(Shared from Calgary airport, as I travel home after a marvellous few days staying on after the conference.)

[Scott Morrison]

I just heard from the Banff staff that they are a bit overwhelmed at the moment due to some emergencies, and our videos may take a little while longer to be completely ready.

[Emily Witt]

Adam Topaz said:

In the meantime, perhaps Emily Witt and Oliver Nash would be willing to post their slides here?

Yes, my talk was not recorded, but here are my slides.
lc-birs.pdf