From 1ed601862ea1454c773a3b398954bc2a796367f6 Mon Sep 17 00:00:00 2001 From: Florian Rabe <florian.rabe@gmail.com> Date: Wed, 17 Jan 2018 20:27:00 +0100 Subject: [PATCH] Update mamored.md --- projects/mamored.md | 33 +++++++++++++++++++++++++++++++-- 1 file changed, 31 insertions(+), 2 deletions(-) diff --git a/projects/mamored.md b/projects/mamored.md index fca2338..bc98533 100644 --- a/projects/mamored.md +++ b/projects/mamored.md @@ -14,9 +14,9 @@ people: - tpollinger collaborators: - - Dr. Thomas Koprucki (WIAS Berlin) + - Dr. Thomas Koprucki (WIAS Berlin) + - Dr. Wolfram Sperber (FIZ Karlsruhe) - Dr. Karsten Tabelov (WIAS Berlin) - funding: internal --- The MaMoReD projects studies whether and how the flexiformalization of mathematical @@ -24,3 +24,32 @@ mathematical models can allow them to be treated as research data, i.e. to be am mathematical knowledge management methods. [Project Publications](http://kwarc.github.io/bibs/MaMoReD/) + +## Workshops + +<!-- don't introduce new lines here, it confuses the markdown processor; add two spaces at the end of a line for a line break --> + +1. 2018, January, 15-17 in Erlangen + Participants: Kohlhase, Koprucki, Müller, Rabe, Sperber, Tabelow + Topics + * stochastic models (continued) + * preparation of grant proposal +1. 2017, November, 4-8 at WIAS Berlin + Participants: Kohlhase, Koprucki, Müller, Rabe, Sperber, Tabelow + Topics + * generation of Python and C code from MMT formalizations of models + * formal language for solution strategies of mathematical models + * stochastic models +1. 2017, March, 21-24 at WIAS Berlin + Participants: Kohlhase, Koprucki, Müller, Rabe, Sperber, Tabelow, Teschke + Topics + * preparation of journal paper on abstract definition of models + * formalization of units and quantities in MMT +1. 2017, January, 16-19 in Erlangen + Participants: Kohlhase, Koprucki, Müller, Rabe, Tabelow + Topics + * MMT tutorial + * formalization of van Roesbroock Modell for charge transport in semi-conductors in MMT + * formalizing complex device geometries + * survey of state of the art in mathematical modeling + * generation of LaTeX documents from MMT formalizations of models -- GitLab