diff --git a/courses/wuv.md b/courses/wuv.md index 20c010ed653deab2b83048568428969fb5927ee7..ed182481349ba23a99749acc9b88f65368f39a33 100644 --- a/courses/wuv.md +++ b/courses/wuv.md @@ -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