diff --git a/README.md b/README.md index 9cfd4e5..633133c 100644 --- a/README.md +++ b/README.md @@ -1,5 +1,9 @@ # Learning Material for Univalent Mathematics and the UniMath library +## School on Univalent Mathematics, Minneapolis, 2024 + +TBA + ## School on Univalent Mathematics, Cortona, 2022 ### Lecture 1: Type Theory (by [Gianluca Amato](https://www.sci.unich.it/~amato/))