diff --git a/courses/wuv.md b/courses/wuv.md
index 3a43a7f31ebca0dbffcaec511669683daf5a9676..2b56926fab466bb7f57e9247340e4af07c8b141e 100644
--- a/courses/wuv.md
+++ b/courses/wuv.md
@@ -20,12 +20,24 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Promotion). Themen werden mit dem
 ausgemacht.
 
 Hier ist eine Auswahl für das WS 17/18:
-	
-	Thema | Literatur | Schwierigkeitsgrad | vergeben? | Termin
-	-----|-------|-----|-------|---------
-	Weak Type Theory |
-	[1](http://www.macs.hw.ac.uk/~fairouz/forest/papers/journals-publications/kjour.pdf) |
-	relativ einfach, aber Logiklastig| offen |
+
+|Thema | Literatur | Schwierigkeitsgrad | vergeben? | Termin|
+|-----|-------|-----|-------|---------|
+| OpenMath & SCSCP | [[1]](http://openmath.github.io/standard) | recht einfach | |
+| LF-Einführung ||relativ einfach, aber Logik-lastig| | |
+| MitM Foundation | | Formalisierung | | | 
+| Theory Graphs and Viewer | |einfach |Marcel Rupprecht | |
+|Weak Type Theory|[[1]](http://www.macs.hw.ac.uk/~fairouz/forest/papers/journals-publications/kjour.pdf)|relativ einfach, aber Logik-lastig| | |
+|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| | logiklastig| |
+| LF + Interection Types | | fortgeschritten| |
+| Model Knowledge Representation for HPC | | | Theresa Pollinger| | 
+| McAllister-Foundation || mit Voldemort's Theorem (schwer) |||
+
 
 Diskussionen und finden auf dem [FSI Forum WuV](https://fsi.cs.fau.de/forum/?????)
 statt. Dies ist eine wichtige Quelle von Ankündigungen sowie Rat und Tat. Wir bemühen uns,