From 773770a2307ecce070621623f0d44668024feca3 Mon Sep 17 00:00:00 2001
From: Florian Rabe <florian.rabe@gmail.com>
Date: Thu, 10 Jun 2021 13:43:10 +0000
Subject: [PATCH] Update swuv.md

---
 courses/swuv.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/courses/swuv.md b/courses/swuv.md
index 475bc0b..bf545ef 100644
--- a/courses/swuv.md
+++ b/courses/swuv.md
@@ -46,7 +46,7 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion).
 | 27. 05. 2021 | Rabe | Type-Dependent Equality | practice talk for CICM
 | 03. 06. 2021 | holiday | |
 | 10. 06. 2021 | Wagner, Rabe | OEIS in MMT | guided discussion of open problem
-| 17. 06. 2021 | | |
+| 17. 06. 2021 | Rabe (moderator) | Big Math and the One-Brain Barrier | reading group
 | 24. 06. 2021 | Jonas Betzendahl | Formalising and Proving with Sudokus |
 | 01. 07. 2021 | Navid Roux | [Systematic Translation of Formalizations of Type Theory from Intrinsic to Extrinsic Style](https://kwarc.info/people/frabe/Research/RR_softening_21.pdf) | practice talk for LFMTP
 | 08. 07. 2021 |Roman Hucke | DOL and OntoHub | seminar talk
-- 
GitLab