more

courses/wuv.md

@@ -27,9 +27,10 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Promotion).
 |-----|-------|-----|
 | 11. 4. 2018| Michael Kohlhase| Admin, Themenvergabe | -- | 
 | 18. 4. 2018 | Michael Kohlhase| How to read scientific articles|
+| ???? | Dennis Müller| A View Finder for MMT libraries|
+| ????? | Dennis Müller| McAllister's Foundation and Voldemort's Theorem|
 
 <!-- next semester
-| 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|
 -->
 
@@ -41,7 +42,10 @@ Themen werden mit dem Dozenten ausgemacht; typischerweise in den ersten Seminart
 |-----|-------|-----|-------|---------|
 | OpenMath & SCSCP | [[1]](http://openmath.github.io/standard) | recht einfach | |
 | LF-Einführung ||relativ einfach, aber Logik-lastig| | |
-| MitM Foundation | | Formalisierung | | | 
+| MitM Foundation | | Formalisierung | | |
+| The Curry-Howard Isomorphism | abstrakte Logic, aber nicht so schwer||
+| Argumentation Logics | verschiedene Themen||
+| Distributed Ontology Language | Semantic Web meeds Theory Graphs||
 | 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 | | |