Skip to content
Snippets Groups Projects
Commit 4ccdc240 authored by Tom Wiesing's avatar Tom Wiesing
Browse files

Update wuv.md - typo

parent a98c633b
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
courses/wuv.md
+ 1
− 1
View file @ 4ccdc240
......@@ -34,7 +34,7 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Promotion).
| 20. 12. 2017 | Michael Kohlhase | Visual structure in math vexpressions. |
| 10. 1. 2018 | Florian Rabe | String Interpolation in MMT |
| 24. 1. 2018 | Frederik Schäfer| Weak Type Theory|
| 7. 2. 2. 2018| Dennis Müller| McAllister's Foundation and Voldemort's Theorem|
| 7. 2. 2018 | Dennis Müller| McAllister's Foundation and Voldemort's Theorem|
| ?.?? 2018| Jonas Butz |Mathematical models as research data via flexiformal theory graphs|
Themen werden mit dem Dozenten ausgemacht; typischerweise in den ersten Seminarterminen. Hier ist eine Auswahl für das WS 17/18:
......
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