diff --git a/courses/wuv.md b/courses/wuv.md index ea1432dab4ee372fbcbdc2115ee6799ce6484f91..b95cb1625af7ad90c5ab3d5582b1028df50de5c8 100644 --- a/courses/wuv.md +++ b/courses/wuv.md @@ -29,21 +29,21 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion). |Datum|Sprecher|Thema|Notiz| |-----|-------|-----|----| -| 24. 4. 2019| Dennis Müller | Admin, Themenvergabe || -| 1. 5. 2019 | - | Maifeiertabg || -| 8. 5. 2019 | Richard Marcus | 3D Visualization of Theory Graphs|| -| 15. 5. 2019 | Michael Torpey (St. Andrews) | Persistent Memoization between Computer Algebra Systems|| -| 22. 5. 2019 | - | entfaellt|| -| 29. 5. 2019 | - | Christi Himmelfahrt|| -| 5. 6. 2019 | Marcel Rupprecht | Visualization of Theory Graphs || -| 12. 6. 2019| Frederik Schaefer | GF + MMT = GLF - From Language to Semantics Through LF|| -| 19. 6. 2019 | - | entfaellt || -| 26. 6. 2019 | Tom Wiesing | Integrating semantic mathematical documents and dynamic notebooks|| -| 3. 7. 2019 | Jonas Beyer | Morphoid Type Theory|| -| 10. 7. 2019 | - | entfaellt || -| *15. 7. 2019, 14:00 | Navid Roux| Refactoring Theory Graphs in KM Systems (Raum 11.139)|Sondertermin| -| *17. 7. 2019 | Kathrin Horsting| Somthing with WissKI|Cauerstraße 4, Raum 0.332| -| 24. 7. 2019 | - | entfaellt || +| 16. 10. 2019| Rabe | Admin, Themenvergabe | +| 23. 10. 2018 | Michael Kohlhase| How to read scientific articles| +| 30. 10. 2018 | | | +| 6. 11. 2018 | | | +| 13. 11. 2018 | | | +| 20. 11. 2018 | | | +| 27. 11. 2018 | | | +| 4. 12. 2018 | | | +| 11. 12. 2018 | | | +| 18. 12. 2018 | | | +| 8. 1. 2019 | | | +| 15. 1. 2019 | | | +| 22. 1. 2019 | | | +| 29. 1. 2019 | | | +| 5. 2. 2019 | | | ##### Vortragsthemen @@ -76,6 +76,26 @@ statt. Dies ist eine wichtige Quelle von Ankündigungen sowie Rat und Tat. Wir b auf dem Forum präsent zu sein, und schnell auf Fragen zu antworten. Also das Forum abonnieren! +##### For the record: Seminarplan SS2019 +|Datum|Sprecher|Thema| +|-----|-------|-----| +| 24.4. 2019| Rabe | Admin, Themenvergabe || +| 1. 5. 2019 | - | Maifeiertag || +| 8. 5. 2019 | Richard Marcus | 3D Visualization of Theory Graphs|| +| 15. 5. 2019 | Michael Torpey (St. Andrews) | Persistent Memoization between Computer Algebra Systems|| +| 22. 5. 2019 | - | entfaellt|| +| 29. 5. 2019 | - | Christi Himmelfahrt|| +| 5. 6. 2019 | Marcel Rupprecht | Visualization of Theory Graphs || +| 12. 6. 2019| Frederik Schaefer | GF + MMT = GLF - From Language to Semantics Through LF|| +| 19. 6. 2019 | - | entfaellt || +| 26. 6. 2019 | Tom Wiesing | Integrating semantic mathematical documents and dynamic notebooks|| +| 3. 7. 2019 | Jonas Beyer | Morphoid Type Theory|| +| 10. 7. 2019 | - | entfaellt || +| *15. 7. 2019, 14:00 | Navid Roux| Refactoring Theory Graphs in KM Systems (Raum 11.139)|Sondertermin| +| *17. 7. 2019 | Kathrin Horsting| Somthing with WissKI|Cauerstraße 4, Raum 0.332| +| 24. 7. 2019 | - | entfaellt || + + ##### For the record: Seminarplan SS2018 |Datum|Sprecher|Thema|