theresa

courses/wuv.md

@@ -26,6 +26,7 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Promotion).
 | 25. 10. 2017| Michael Kohlhase| How to read scientific articles|
 | 1. 11. 2017 | Allerheiligen | ------ |
 | 8. 11. 2017| Tom Wiesing| Virtual Theories as a Uniform Interface to Mathematical Data Sources|
+| 29. 11. 2017| Theresa Pollinger|Model Knowledge Representation for HPC|
 
 Themen werden mit dem Dozenten ausgemacht; typischerweise in den ersten Seminarterminen. Hier ist eine Auswahl für das WS 17/18:
 
@@ -39,11 +40,9 @@ Themen werden mit dem Dozenten ausgemacht; typischerweise in den ersten Seminart
 | MathLang| Kamareddine | | |
 | Formula Parsing | Ginev M.Sc. | relativ einfach | |
 | 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| | logik-lastig| |
 | LF + Interection Types | | fortgeschritten| |
-| Model Knowledge Representation for HPC | | | Theresa Pollinger| | 
 | McAllister-Foundation || mit Voldemort's Theorem (schwer) |||