Monthly Archives: October 2023
Workshop on Synthetic Algebraic Geometry
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 synthetic algebraic geometry are welcome to join. Synthetic algebraic geometry … Continue reading
Posted in Meeting
Leave a comment
Homotopy Type Theory 