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

*** empty log message ***

parent 9f19af2e
No related branches found
No related tags found
No related merge requests found
Pipeline #1942 passed
Stage: deploy
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
courses/wuv.md
+ 1
− 1
View file @ 0e564011
......@@ -37,7 +37,7 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion).
| 20. 11. 2018 | Florian Rabe | Intermediate Language for Formalization|
| 27. 11. 2018 | Florian Rabe | Category of Theories, Diagram Operators |
| 4. 12. 2018 | Katja Berčič | Research data in mathematics: taking the high road |
| 11. 12. 2018 | | |
| 11. 12. 2018 | --- | Fällt Aus|
| 18. 12. 2018 | Christoph Alt | Formula Search for the nLab|
| 8. 1. 2019 | | |
| 15. 1. 2019 | Takuto Asakura (NII Tokyo) | (something on Math Linguistics) |
......
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