Michael Stoll's talk on zoom

Stream: LFTCM 2024

[Assia Mahboubi]

I would like to listen to Michael Stoll's talk at 6pm today on zoom ("Why I am doing L-series in Lean"). If other people are, is it still possible to find a room for this?

[Assia Mahboubi]

Announced here

[Notification Bot]

2 messages were moved here from #LFTCM 2024 > Wednesday afternoon by Assia Mahboubi.

[Johan Commelin]

Nice idea! Can we livestream it in the lecture hall?

[Assia Mahboubi]

@Filippo A. E. Nuccio and @Riccardo Brasca (seem to be offline).

[Riccardo Brasca]

I am going to Marseille, @Antoine Chambert-Loir has the keys of the room

[Riccardo Brasca]

Anyway you can surely ask at the reception to open the room

[Filippo A. E. Nuccio]

I am sorry, I was on a call (and will soin join a second). Did you manage to enter the lecture hall?

[Edgar Costa]

Yes

[Johan Commelin]

cc @Assia Mahboubi

[Filippo A. E. Nuccio]

cc @Oliver Nash @Anne Baanen