From e82181cd15bc6d70e74b24e9b6b6563d7d6eaa22 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Thu, 18 Jan 2018 07:45:49 +0100
Subject: [PATCH] adding a MaMoReD Workshop
---
projects/mamored.md | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/projects/mamored.md b/projects/mamored.md
index 4e8e7b4..4012ccb 100644
--- a/projects/mamored.md
+++ b/projects/mamored.md
@@ -54,3 +54,9 @@ mathematical knowledge management methods.
* formalizing complex device geometries
* survey of state of the art in mathematical modeling
* generation of LaTeX documents from MMT formalizations of models
+ 1. 2016, November 9. at WIAS Berlin
+ **Participants**: Kohlhase, Koprucki, Tabelow
+ **Topics**
+ * Models as Research Data
+ * Theory Graphs and Models
+ * Mathematical Knowledge Management for Models
--
GitLab