Post #1158588
2026-04-13 14:12 UTC
I’m in Venice for the 7th Workshop on Formal Topology: https://events.math.unipd.it/7wftop/ – We already had some great talks by Thierry Coquand, Maria Manuel Clementino, and Steve Vickers. If you’re jealous, you can console yourself that the talks are being streamed/recorded here: https://youtube.com/@wires0/streams
Replies (2)
-
@mkerjean@lipn.info 2026-04-14 00:03
@buchholtz@mathstodon.xyz ooooo great talks in a great place, I am jealous.
-
@graham@mathstodon.xyz 2026-04-20 07:42
@buchholtz@mathstodon.xyz Unfortunately, the videos don't seem to be up anymore. Do you know if they will be available somewhere in future?