Commit 453213bb authored by Michael Kohlhase's avatar Michael Kohlhase

more

parent 996ebed1
Pipeline #1972 passed with stage
in 2 minutes and 30 seconds
......@@ -39,7 +39,7 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion).
| 4. 12. 2019 | Katja Berčič | Research data in mathematics: taking the high road |
| 11. 12. 2019 | --- | no seminar|
| 18. 12. 2019 | Christoph Alt | Formula Search for the nLab|
| 8. 1. 2020 | | |
| 8. 1. 2020 | --- | no seminar |
| 15. 1. 2020 | Takuto Asakura (NII Tokyo) | Towards Grounding of Formulae in Mathematical Objects|
| 22. 1. 2020 | | |
| 29. 1. 2020 | Lorenz Oberhauser| Curry Howard Isomorphism|
......
Markdown is supported
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