more

courses/swuv.md

@@ -60,10 +60,9 @@ 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 | | |
-| The Curry-Howard Isomorphism | abstrakte Logic, aber nicht so schwer||
+| 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 | |
+| Distributed Ontology Language || Semantic Web needs Theory Graphs||
 | 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 | |
@@ -73,7 +72,7 @@ Themen werden mit dem Dozenten ausgemacht; typischerweise in den ersten Seminart
 | LF + Interection Types | | fortgeschritten| |
 | McAllister-Foundation || mit Voldemort's Theorem (schwer) |||
 | Functional programming with bananas, lenses, envelopes and barbed wire|  [[1]](https://research.utwente.nl/files/6142047/db-utwente-40501F46.pdf)|functional programming|
-|"Formal Semantics of Programming Languages" (Mosses)| ||
+|"Formal Semantics of Programming Languages"| (Mosses)||
 | Overview of the ACL2 language and system | | |
 
 Diskussionen und finden auf dem [FSI Forum WuV](https://fsi.cs.fau.de/forum/151-Seminar-Wissensrepraesentation-und-verarbeitung)