From a97019b3ad9750877f836532ccafe680b7d5cfe9 Mon Sep 17 00:00:00 2001 From: Jonas Betzendahl <jonas.betzendahl@fau.de> Date: Mon, 18 Jun 2018 15:00:35 +0200 Subject: [PATCH] Update theses.md --- courses/theses.md | 1 + 1 file changed, 1 insertion(+) diff --git a/courses/theses.md b/courses/theses.md index c2dbe44..5e61871 100644 --- a/courses/theses.md +++ b/courses/theses.md @@ -21,6 +21,7 @@ menu_order: 101 * Susanna Kuschert: *Dynamic Meaning and Accomodation*, Universtät des Saarlandes, II 1999, ### M.Sc Theses +* Jonas Betzendahl: *[Translating the IMPS theory library to MMT / OMDoc](https://gl.kwarc.info/supervision/MSc-archive/blob/master/2018/jbetzendahl/thesis_imps2omdoc.pdf)*, Universität Bielefeld, 2018 * Theresa Pollinger: *[Knowledge Representation for Modeling and Simulation – Bridging the Gap Between Informal PDE Theory and Simulations Practice](https://gl.kwarc.info/supervision/MSc-archive/blob/master/2017/tpollinger/thesis.pdf)*, FAU Erlangen-Nürnberg, 2017 -- GitLab