From 29d92535d2cec6bd6d186979e77ee83dc8c4306c Mon Sep 17 00:00:00 2001 From: Florian Rabe <florian.rabe@gmail.com> Date: Mon, 7 Jun 2021 14:23:31 +0000 Subject: [PATCH] Update swuv.md --- courses/swuv.md | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/courses/swuv.md b/courses/swuv.md index 474ec05..475bc0b 100644 --- a/courses/swuv.md +++ b/courses/swuv.md @@ -43,14 +43,14 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion). | 06. 05. 2021 |Kohlhase, Rabe | How to give a talk?| | 13. 05. 2021 | holiday | | | 20. 05. 2021 |Kohlhase, Rabe | How to read a paper?| -| 27. 05. 2021 | Rabe | Type-Dependent Equality | +| 27. 05. 2021 | Rabe | Type-Dependent Equality | practice talk for CICM | 03. 06. 2021 | holiday | | -| 10. 06. 2021 | | | +| 10. 06. 2021 | Wagner, Rabe | OEIS in MMT | guided discussion of open problem | 17. 06. 2021 | | | | 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) | -| 08. 07. 2021 |Roman Hucke | DOL and OntoHub | date not certain yet -| 15. 07. 2021 |Johannes Westphal | GLIF | date not certain yet +| 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 +| 15. 07. 2021 |Johannes Westphal | GLIF | seminar talk ##### Vortragsthemen -- GitLab