Update swuv.md

courses/swuv.md

@@ -37,38 +37,35 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion).
 
 |Datum|Sprecher|Thema|Notiz|
 |-----|--------|-----|----|
-| 22. 04. 2020 | Rabe | Admin, Themenvergabe |
-| 22. 04. 2020 | Roux | Functorial Diagram Operators |
-| 29. 04. 2020 | Kohlhase| Themenvergabe, Workshop-Vortrag|
-| 06. 05. 2020 | ---- | fällt aus|
-| 13. 05. 2020 | Benjamin Bösl| FrameIT: A Logic-Based Framework for Serious  Games |
-| 20. 05. 2020 | Tom Wiesing | Interactions between aspects of Tetrapodal Mathematics on MathHub | [Slides](https://kwarc.info/people/twiesing/pubs/slides/2020_05_20_phdproposal.pdf) |
-| 27. 05. 2020 | Dennis Müller | From Informal to Formal Mathematics | 
-| 03. 06. 2020 | Benjamin Gorny | Knowledge Representation in DeepMind|
-| 10. 06. 2020 | entfällt| |
-| 17. 06. 2020 | entfällt| |
-| 24. 06. 2020 | Jan Frederik Schaefer | ELPI and MMT |
-| 01. 07. 2020 | Jan Frederik Schaefer | GLIF/Jupyter|
-| 08. 07. 2020 | entfällt| |
-| 15. 07. 2020 | Annika Schmidt | Curry Howard Isomorphism|
-| 22. 07. 2020 | Pascal Zoleko | A Symbolic Approach to Job Recommendation.|
-| 29. 07. 2020 | Florian Stangl | Something about Jupyther |
-| ???? | Max Rapp? | How to Identify, Translate, and Combine Logics?"|
-| ???? | Kohlhase | How to read scientific articles|
-| ??? | Heiko Sonnenberg | Something about Argumentation Logics|
+| 04. 11. 2020 | Rabe | Admin, Themenvergabe |
+| 11. 11. 2020 | Kohlhase, Rabe | How to read a scientific paper? |
+| 18. 11. 2020 | Kohlhase, Rabe | How to give a scientific talk? |
+| 25. 11. 2020 | | |
+| 02. 12. 2020 | | |
+| 09. 12. 2020 | | |
+| 16. 12. 2020 | | |
+| 23. 12. 2020 | entfällt | |
+| 13. 01. 2021 | | |
+| 20. 01. 2021 | | |
+| 27. 01. 2021 | | |
+| 03. 02. 2021 | | |
+| 10. 02. 2021 | | |
+| ???          | Roux | Logical Relations
 
 
 
 ##### Vortragsthemen
 
-Themen werden mit dem Dozenten ausgemacht; typischerweise in den ersten Seminarterminen. Hier ist eine Auswahl für das SS 2018: 
+Themen werden mit dem Dozenten individuell ausgemacht, typischerweise in den ersten Seminarterminen.
+Vorschläge von Studenten sind möglich.
+
+Zur groben Orientierung ist hier eine repräsentative Auswahl von nicht belegten Themen der letzten Jahre:
 
 |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 | | |
-| The Curry-Howard Isomorphism || abstrakte Logic, aber nicht so schwer||
 | Argumentation Logics | verschiedene Themen||
 | 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| | |
@@ -81,7 +78,6 @@ Themen werden mit dem Dozenten ausgemacht; typischerweise in den ersten Seminart
 | 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)||
-| 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)
 statt. Dies ist eine wichtige Quelle von Ankündigungen sowie Rat und Tat. Wir bemühen uns,
@@ -89,6 +85,27 @@ auf dem Forum präsent zu sein, und schnell auf Fragen zu antworten. Also das Fo
 abonnieren!
 
 
+##### For the record: Seminarplan SS20
+
+|Datum|Sprecher|Thema|Notiz|
+|-----|--------|-----|----|
+| 22. 04. 2020 | Rabe | Admin, Themenvergabe |
+| 22. 04. 2020 | Roux | Functorial Diagram Operators |
+| 29. 04. 2020 | Kohlhase| Themenvergabe, Workshop-Vortrag|
+| 06. 05. 2020 | ---- | fällt aus|
+| 13. 05. 2020 | Benjamin Bösl| FrameIT: A Logic-Based Framework for Serious  Games |
+| 20. 05. 2020 | Tom Wiesing | Interactions between aspects of Tetrapodal Mathematics on MathHub | [Slides](https://kwarc.info/people/twiesing/pubs/slides/2020_05_20_phdproposal.pdf) |
+| 27. 05. 2020 | Dennis Müller | From Informal to Formal Mathematics | 
+| 03. 06. 2020 | Benjamin Gorny | Knowledge Representation in DeepMind|
+| 10. 06. 2020 | entfällt| |
+| 17. 06. 2020 | entfällt| |
+| 24. 06. 2020 | Jan Frederik Schaefer | ELPI and MMT |
+| 01. 07. 2020 | Jan Frederik Schaefer | GLIF/Jupyter|
+| 08. 07. 2020 | entfällt| |
+| 15. 07. 2020 | Annika Schmidt | Curry Howard Isomorphism|
+| 22. 07. 2020 | Pascal Zoleko | A Symbolic Approach to Job Recommendation.|
+| 29. 07. 2020 | Florian Stangl | Something about Jupyther |
+
 ##### For the record: Seminarplan WS19/20
 
 |Datum|Sprecher|Thema|Notiz|