Post #1402950
2026-04-09 11:01 UTC
Registration is now open for HoTT/UF 2026! Hope to see some of you in Aarhus soon 😃
See https://hott-uf.github.io/2026/ for registration details.
Replies (1)
-
@de_Jong_Tom@mathstodon.xyz 2026-04-09 11:43
@danielgratzer Will there be (limited) options for remote participation? (I believe the original calls mentioned this, but might be wrong.) If so, should remote participants register too?