From 1f02b7a27b9efccc57367195df8a43e0884fb8ec Mon Sep 17 00:00:00 2001 From: Benedikt Ahrens Date: Mon, 29 Jul 2024 17:25:16 +0200 Subject: [PATCH] Update README.md --- README.md | 4 ++++ 1 file changed, 4 insertions(+) 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/))