From 6ecb401c18650ca05ec42ebe887db0770fe8a0f6 Mon Sep 17 00:00:00 2001 From: Michael Kohlhase <michael.kohlhase@fau.de> Date: Wed, 29 Apr 2020 16:10:01 +0200 Subject: [PATCH] more --- courses/swuv.md | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/courses/swuv.md b/courses/swuv.md index 5925c94..4f77e59 100644 --- a/courses/swuv.md +++ b/courses/swuv.md @@ -39,9 +39,10 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion). |-----|--------|-----|----| | 22. 04. 2020 | Rabe | Admin, Themenvergabe | | 22. 04. 2020 | Roux | Functorial Diagram Operators | -| 29. 04. 2020 | Kohlhase| How to read scientific articles| -| 06. 05. 2020 | ---- | fällt aus| -| 13. 05. 2020 | Benjamin Bösl| FrameIT: A Logic-Based Framework for Serious Games | +| 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 | +| ???? | Kohlhase | How to read scientific articles| | ??? | Benjamin Gorny | Functional programming with bananas, lenses, envelopes and barbed wire| | ??? | Heiko Sonnenberg | Something about Argumentation Logics| | ??? | Pascal Zoleko | Something from Marcos Cramer's Diss| -- GitLab