diff --git a/courses/wuv.md b/courses/wuv.md index 4d8865d22a2f46e587721b152335caad2475bc21..f246d0703b2b0760d4095d0b9d19169bbab4fbc1 100644 --- a/courses/wuv.md +++ b/courses/wuv.md @@ -34,9 +34,9 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion). | 30. 10. 2018 | - | no seminar | | 6. 11. 2018 | Rabe/Kohlhase | How to give a talk| | 13. 11. 2018 | Max Rapp |Formalising the Law in Theory Graphs | -| 20. 11. 2018 |Florian Rabe | Intermediate Language for Formalization| +| 20. 11. 2018 | Florian Rabe | Intermediate Language for Formalization| | 27. 11. 2018 | Florian Rabe | Category of Theories, Diagram Operators | -| 4. 12. 2018 | | | +| 4. 12. 2018 | Katja Berčič | Research data in mathematics: taking the high road | | 11. 12. 2018 | | | | 18. 12. 2018 | | | | 8. 1. 2019 | | |