Commit 34c23369 authored by Michael Kohlhase's avatar Michael Kohlhase

more

parent b19df8e2
......@@ -43,7 +43,7 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion).
| 15. 1. 2020 | Takuto Asakura (NII Tokyo) | Towards Grounding of Formulae in Mathematical Objects|
| 22. 1. 2020 | Navid Roux | Composition of programming languages |
| 29. 1. 2020 | -- | no seminar |
| 5. 2. 2020 | Max Rapp| ALMANAC and on |
| 5. 2. 2020 | -- | no seminar|
##### Vortragsthemen
......
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