Skip to content
Snippets Groups Projects
Normal view Permalink
2017-03-24-WIAS.md 753 B
Newer Older
  • Learn to ignore specific revisions
    • Michael Kohlhase's avatar
    new
    Michael Kohlhase committed
    1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 
    ---
layout: post
author: Michael Kohlhase
title: Report on the WP6-WIAS Workshop on Math-in-the-Middle Content
tags:
    - workshop
---

WP6 participants JacU (Florian Rabe), FAU (Dennis Müller, Michael Kohlhase) and UZH (Paul
Olivier Dehaye) came together with members of the
[Weierstrass Institute for Applied Analysis and Stochastics](http://wias-berlin.de/)
(WIAS: Thomas Koprucki and Carsten Tabelow) for a one-week code (20. 3. -- 24. 3.)  sprint
on the Math-in-the-Middle Content and Logic and the encoding of mathematical Models. The
result of this was a significant extension of the MitM ontology (in particular for the
meta-theories for Sage) and a
[WIAS preprint on formalizations of Models](http://dx.doi.org/10.20347/WIAS.PREPRINT.2385).