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

merge

parent c1f1dd6f
Branches zolekode-master-patch-26857
No related tags found
No related merge requests found
Pipeline #2007 passed
Stage: deploy
Hide whitespace changes
Inline Side-by-side
Showing
with 0 additions and 5 deletions
courses/wuv.md
+ 0
− 5
View file @ 8f8f7e90
......@@ -41,13 +41,8 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion).
| 18. 12. 2019 | Christoph Alt | Formula Search for the nLab|
| 8. 1. 2020 | --- | no seminar |
| 15. 1. 2020 | Takuto Asakura (NII Tokyo) | Towards Grounding of Formulae in Mathematical Objects|
<<<<<<< HEAD
| 22. 1. 2020 | Navid Roux | Composition of programming languages |
| 29. 1. 2020 | -- | no seminar |
=======
| 22. 1. 2020 | Navid Roux | Composing Programming Languages|
| 29. 1. 2020 | Lorenz Oberhauser| Curry Howard Isomorphism|
>>>>>>> 4e0a80c2e74d354ff7f1c1bf78ce1f39074d4c86
| 5. 2. 2020 | Max Rapp| ALMANAC and on |
##### Vortragsthemen
......
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