From 6de4bee1f2005da5ffa6cfff60bd56260a72a3b8 Mon Sep 17 00:00:00 2001 From: Florian Rabe <florian.rabe@gmail.com> Date: Mon, 8 Jun 2020 15:01:52 +0200 Subject: [PATCH] Update swuv.md --- courses/swuv.md | 17 +++++++---------- 1 file changed, 7 insertions(+), 10 deletions(-) diff --git a/courses/swuv.md b/courses/swuv.md index 51cbce5..2dc0196 100644 --- a/courses/swuv.md +++ b/courses/swuv.md @@ -45,21 +45,18 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion). | 20. 05. 2020 | Tom Wiesing | Interactions between aspects of Tetrapodal Mathematics on MathHub | [Slides](https://kwarc.info/people/twiesing/pubs/slides/2020_05_20_phdproposal.pdf) | | 27. 05. 2020 | Dennis Müller | From Informal to Formal Mathematics | | 03. 06. 2020 | Benjamin Gorny | Knowledge Representation in DeepMind| -| 10. 06. 2020 | | | -| 17. 06. 2020 | | | +| 10. 06. 2020 | | | fällt aus| +| 17. 06. 2020 | Jonas Betzendahl | Functional Programming with Barbed Wire etc. | | 24. 06. 2020 | Jan Frederik Schaefer | ELPI and MMT | -| 01. 07. 2020 | | | +| 01. 07. 2020 | Sven Wille | ACL2 | | 8. 7. 2020 | Jan Frederik Schaefer | GLIF/Jupyter| -| 15. 07. 2020 | | | -| 22. 07. 2020 | | | -| 29. 07. 2020 | | | +| 15. 07. 2020 | Annika Schmidt | Curry Howard Isomorphism| +| 22. 07. 2020 | Pascal Zoleko | Something from Marcos Cramer's Diss| +| 29. 07. 2020 | Florian Stangl | Something about Jupyther | | ???? | Max Rapp? | How to Identify, Translate, and Combine Logics?"| | ???? | Kohlhase | How to read scientific articles| | ??? | Heiko Sonnenberg | Something about Argumentation Logics| -| ??? | Pascal Zoleko | Something from Marcos Cramer's Diss| -| ???? | Florian Stangl | Something about Jupyther | -| ??? | Annika Schmidt | Curry Howard Isomorphism| -| ???? | Sven Wille | ACL2 | + ##### Vortragsthemen -- GitLab