more

courses/wuv.md

@@ -42,7 +42,7 @@ Themen werden mit dem Dozenten ausgemacht; typischerweise in den ersten Seminart
 | Math Parsing in Concise | Pichler M.Sc. | relativ einfach | |
 | Virtual Theories | | | Tom Wiesing|
 | MitM-based integration of CAS | | | Tom Wiesing|
-| Isabelle Type Classes and Locales| | logiklastig| |
+| Isabelle Type Classes and Locales| | logik-lastig| |
 | LF + Interection Types | | fortgeschritten| |
 | Model Knowledge Representation for HPC | | | Theresa Pollinger| | 
 | McAllister-Foundation || mit Voldemort's Theorem (schwer) |||
@@ -52,3 +52,6 @@ Diskussionen und finden auf dem [FSI Forum WuV](https://fsi.cs.fau.de/forum/151-
 statt. Dies ist eine wichtige Quelle von Ankündigungen sowie Rat und Tat. Wir bemühen uns,
 auf dem Forum präsent zu sein, und schnell auf Fragen zu antworten. Also das Forum
 abonnieren!
+
+<!--  LocalWords:  mkohlhase Logik-lastig Kamareddine Ginev MitM-based Interection
+ -->