diff --git a/courses/swuv.md b/courses/swuv.md index 475bc0b460c1506c903a9eb7efea892af37806d3..bf545ef9518407410386159561b82d763a1a8df6 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