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

more

parent 82177055
No related branches found
No related tags found
No related merge requests found
Pipeline #2158 passed
Stage: deploy
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 1 deletion
courses/swuv.md
+ 2
− 1
View file @ 114b28a0
......@@ -46,7 +46,8 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion).
| ??? | Heiko Sonnenberg | Something about Argumentation Logics|
| ??? | Pascal Zoleko | Something from Marcos Cramer's Diss|
| ???? | Florian Stangl | Something about Jupyther |
| ??? | Annika Schmidt | Curry Howard Isomorphism|
| ??? | Annika Schmidt | Curry Howard Isomorphism|
| ???? | Sven Wille | AC2 |
##### Vortragsthemen
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment