diff --git a/projects/mamored.md b/projects/mamored.md index a937173f98c78552ca71601a1aef66569bb8a2d5..4e8e7b4f234d45809012259aae3e15dfd16afc2c 100644 --- a/projects/mamored.md +++ b/projects/mamored.md @@ -26,29 +26,29 @@ mathematical knowledge management methods. [Project Publications](http://kwarc.github.io/bibs/MaMoReD/) -## Workshops +### 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 +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 +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 +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 + **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