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

more

parent 038d29c5
Branches
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 2 deletions
courses/wuv.md
+ 2
− 2
View file @ 188931af
......@@ -41,8 +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|
| 22. 1. 2020 | | |
| 29. 1. 2020 | Lorenz Oberhauser| Curry Howard Isomorphism|
| 22. 1. 2020 | Navid Roux | Composition of programming languages |
| 29. 1. 2020 | -- | no seminar |
| 5. 2. 2020 | Max Rapp| ALMANAC and on |
##### Vortragsthemen
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment