Commit d230ecaa authored by Florian Rabe's avatar Florian Rabe
Browse files

Update swuv.md

parent 6de4bee1
Pipeline #2289 passed with stage
in 1 minute and 3 seconds
...@@ -45,7 +45,7 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion). ...@@ -45,7 +45,7 @@ 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) | | 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 | | 27. 05. 2020 | Dennis Müller | From Informal to Formal Mathematics |
| 03. 06. 2020 | Benjamin Gorny | Knowledge Representation in DeepMind| | 03. 06. 2020 | Benjamin Gorny | Knowledge Representation in DeepMind|
| 10. 06. 2020 | | | fällt aus| | 10. 06. 2020 | | fällt aus|
| 17. 06. 2020 | Jonas Betzendahl | Functional Programming with Barbed Wire etc. | | 17. 06. 2020 | Jonas Betzendahl | Functional Programming with Barbed Wire etc. |
| 24. 06. 2020 | Jan Frederik Schaefer | ELPI and MMT | | 24. 06. 2020 | Jan Frederik Schaefer | ELPI and MMT |
| 01. 07. 2020 | Sven Wille | ACL2 | | 01. 07. 2020 | Sven Wille | ACL2 |
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment