Math Modeling Workshop at FAU; Math-in-the-Middle Ontology by
Prof. Dr. Michael Kohlhase
19 Jan 2017

KWARC had a very productive workshop on modeling mathematical models with two members of the Weierstrass Institute for Applied Analysis and Stochastics (WIAS: Thomas Koprucki and Carsten Tabelow) for a one-week code (16.1. - 19. .) sprint on modelig the one-dimensional van Roosbroeck model in OMDoc/MMT.

This was used as an opportunity to initiate the Math-in-the-Middle Ontology we have been talking about for the OpenDreamKit Project.