Commit 5c160c35 authored by Michael Kohlhase's avatar Michael Kohlhase

new

parent b1df069d
---
layout: post
author: Michael Kohlhase
title: Florian Rabe named Substitute Professor at Jacobs University
tags:
- announcement
---
PD Dr. Florian Rabe (the KWARC PostDoc of many years) has been named a substitute
professor at [Jacobs University](http://www.jacobs-univesity.de) for the Spring
Semester 2017. Congratulations from the group.
---
layout: post
author: Michael Kohlhase
title: KWARC established at FAU
tags:
- announcement
---
With Dennis Müller movint to Erlangen, we have (the beginnings of) a group presence at FAU. The Winter semester begins later this month with an AI course.
---
layout: post
author: Michael Kohlhase
title: KWARC established at FAU
tags:
- announcement
---
With Dennis Müller movint to Erlangen, we have (the beginnings of) a group presence at FAU.
---
layout: post
author: Michael Kohlhase
title: Math Modeling Workshop at FAU; Math-in-the-Middle Ontology
tags:
- workshop
---
KWARC had a very productive workshop on modeling mathematical models with two 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 (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](http://opendreamkit.org) Project.
---
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).
---
layout: default
title: KWARC Contact
---
For general questions, contact the head of the group:
[Prof. Dr. Michael Kohlhase](/people/mkohlhase/)
*Professur für Wissensrepräsentation und -verarbeitung*; Informatik, FAU Erlangen-Nürnberg
**Office**: Martensstraße 3, 91058 Erlangen, Room11.139, tel/fax: (49) 9131-85-64052/55, <michael.kohlhase@fau.de>
**Secretary**: Gabriele Schönberger, Room 11.158, tel/fax: (49) 9131-85-64052/55, <gabriele.schoenberger@fau.de>
For specific questions, please contact the members of the KWARC group directly or use the mailing lists:
* <core@kwarc.info> (the core group, i.e. PIs, postdocs, and Ph.D. students)
* <group@kwarc.info> (all KWARCies, i.e. including students)
* <admin@kwarc.info> (for systems, ...)
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment