Skip to content
Snippets Groups Projects
Commit 29e2d08b authored by Michael Kohlhase's avatar Michael Kohlhase
Browse files

more

parent 74112a05
No related branches found
No related tags found
No related merge requests found
Pipeline #2771 passed
Stage: deploy
Hide whitespace changes
Inline Side-by-side
Showing
with 3 additions and 3 deletions
courses/swuv.md
+ 3
− 3
View file @ 29e2d08b
......@@ -40,9 +40,9 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion).
| 04. 11. 2020 | Rabe | Admin, Themenvergabe |
| 11. 11. 2020 | Kohlhase, Rabe | How to read a scientific paper? |
| 18. 11. 2020 | Kohlhase, Rabe | How to give a scientific talk? |
| 25. 11. 2020 | | |
| 02. 12. 2020 | Betzendahl | Formalizing Undefinedness: A survey |
| 09. 12. 2020 | | |
| 25. 11. 2020 | | entfällt |
| 02. 12. 2020 | Jonas Betzendahl | Formalizing Undefinedness: A survey |
| 09. 12. 2020 | Michael Banken | Theory Intersection|
| 16. 12. 2020 | | |
| 23. 12. 2020 | entfällt | |
| 13. 01. 2021 | Christian Cerny | Term Generation in MMT | BSc. thesis presentation
......
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