Dear all,
it will be possible to join the workshop "Geometry in Modal HoTT" taking place next week at cmu via the software zoom.
You can look up the schedule and instructions for using zoom on the workshop's website:
The zoom link is:
All the best,
Felix Wellen