From 2f7656632ba38b0e3ecd47e60ef292065227abc9 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <m.kohlhase@jacobs-university.de>
Date: Mon, 13 Nov 2017 19:34:30 +0100
Subject: [PATCH] new talk

---
 courses/wuv.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/courses/wuv.md b/courses/wuv.md
index 99da849..6d06c4a 100644
--- a/courses/wuv.md
+++ b/courses/wuv.md
@@ -26,6 +26,8 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Promotion).
 | 25. 10. 2017| Michael Kohlhase| How to read scientific articles|
 | 1. 11. 2017 | Allerheiligen | ------ |
 | 8. 11. 2017| Tom Wiesing| Virtual Theories as a Uniform Interface to Mathematical Data Sources|
+| 15. 11. 2017 | Michael Kohlhase| Knowledge-Based Interoperability for Mathematical Software Systems|
+| 22. 11. 2017 | ???? | ????? | 
 | 29. 11. 2017| Theresa Pollinger|Model Knowledge Representation for HPC|
 | ?.?? 2017| Jonas Butz |Mathematical models as research data via flexiformal theory graphs|
 
-- 
GitLab