Login
From:
Homotopy Type Theory
(Uncensored)
subscribe
Workshop on Synthetic Algebraic Geometry | Homotopy Type Theory
https://homotopytypetheory.org/2023/10/25/workshop-on-synthetic-algebraic-geometry/
links
backlinks
Tagged with:
meeting
Roast topics
Find topics
Find it!
We are organizing a workshop on synthetic algebraic geometry at the University of Gothenburg/Chalmers from the 11th to 15th of March 2024. There will be introductory lectures – newcomers to s…
