From 550f2769b613eaf3e49bdae2673fe66504d31778 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <m.kohlhase@jacobs-university.de>
Date: Wed, 25 Oct 2017 14:06:32 +0200
Subject: [PATCH] theresa

---
 courses/wuv.md | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/courses/wuv.md b/courses/wuv.md
index 89c4a3c..78246df 100644
--- a/courses/wuv.md
+++ b/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) |||
 
 
-- 
GitLab