_posts/2015-04-01-New-Phd.md

 ---
 layout: post
-author: Michael Kohlhase
+author: mkohlhase
 title: "New KWARC Ph.D. Student: Dennis Müller"
 tags: 
-   - announcement
+   - Announcements
 ---
 We are happy to welcome [Dennis Müller](https://kwarc.info/people/dmueller) to the KWARC group as a new Ph.D. student. Dennis received a Masters degree in Mathematics from Freiburg University and will be working on the [OAF Project](http://kwarc.info/projects/OAF), initially importing the PVS library into MathHub.

_posts/2015-05-08OpenDreamKit.md → _posts/2015-05-08-OpenDreamKit.md

 ---
 layout: post
-author: Michael Kohlhase
+author: mkohlhase
 title: OpenDreamKit H2020 Grant accepted by EU
 tags:
-   - announcement
+   - Announcements
 ---
 We are delighted to announce that the Horizon 2020 proposal ``OpenDreamKit'' was accepted by the European commission:
 

_posts/2015-05-15-recruiting.md

 ---
 layout: post
-author: Michael Kohlhase
+author: mkohlhase
 title: KWARC is recruiting Ph.D. Candidates and PostDocs (multiple Projects) 
 tags:
-   - recruiting
+   - Recruiting
 ---
 The KWARC group at Jacobs University Bremen is looking for Ph.D. candidates and PostDocs in multiple MKM-related projects: e.g. OAF, OpenDreamKit (others are in the pipeline)
 

_posts/2015-07-17-Best-Paper-Award-at-CICM.md

 ---
 layout: post
-author: Michael Kohlhase
+author: mkohlhase
 title: Best Paper Award at CICM
 tags:
-   - announcement
+   - Announcements
 ---
 Mihnea Iancu and Michael Kohlhase received the best paper award at [CICM 2015](http://cicm-conference.org/2015/cicm.php) in Washington DC, USA (MKM/DML tracks) for their paper Math [Literate Knowledge Management via Induced Material](http://kwarc.info/kohlhase/papers/cicm15-induced.pdf)

_posts/2015-07-22-New-Demo-OEIS → _posts/2015-07-22-New-Demo-OEIS.md

 ---
 layout: post
-author: Michael Kohlhase
+author: mkohlhase
 title: New Demo - Text and Formula search for OEIS
 tags:
-    - demo
+    - Demos
 ---
 Search engine for the [On-line Encyclopedia of Integer Sequences](https://oeis.org) based on [MathWebSearch](https://search.mathweb.org) and [MMT](https://trac.kwarc.info/MMT).
 

_posts/2016-07-11-KWARC-goes-FAU.md

 ---
 layout: post
-author: Michael Kohlhase
+author: mkohlhase
 title: KWARC goes FAU Erlangen-Nürnberg
 tags: 
-   - announcement
+   - Announcements
 ---
 Michael Kohlhase has accepted an offer for the Professorship for Knowledge Representation and Processing at [FAU Erlangen-Nürnberg](http://cs.fau.de) starting September 1. 2016. He will be an adjunct professor at [Jacobs University](http://jacobs-university.de) for another year; the actual move of the group will be over fall.

_posts/2016-07-26-Florian-substitute-prof.md

 ---
 layout: post
-author: Michael Kohlhase
+author: mkohlhase
 title: Florian Rabe named Substitute Professor at Jacobs University
 tags: 
-   - announcement
+   - Announcements
 ---
 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

_posts/2016-10-01-KWARC-established.md

 ---
 layout: post
-author: Michael Kohlhase
+author: mkohlhase
 title: KWARC established at FAU
 tags: 
-   - announcement
+   - Announcements
 ---
-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. 
+With Dennis Müller moving to Erlangen, we have (the beginnings of) a group presence at FAU. The Winter semester begins later this month with an AI course. 

_posts/2016-10-01.md

----
-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. 

_posts/2017-01-19-MathModels-Workshop.md

 ---
 layout: post
-author: Michael Kohlhase
+author: mkohlhase
 title: Math Modeling Workshop at FAU; Math-in-the-Middle Ontology 
 tags:
-    - workshop
+    - Workshops
 ---
 
 KWARC had a very productive workshop on modeling mathematical models with two members of the

_posts/2017-03-24-WIAS.md

 ---
 layout: post
-author: Michael Kohlhase
+author: mkohlhase
 title: Report on the WP6-WIAS Workshop on Math-in-the-Middle Content
 tags:
-    - workshop
+    - Workshops
 ---
 
 WP6 participants JacU (Florian Rabe), FAU (Dennis Müller, Michael Kohlhase) and UZH (Paul

_posts/2017-04-26-ODK-review.md

 ---
 layout: post
-author: Michael Kohlhase
+author: mkohlhase
 title: First OpenDreamKit Review
 tags:
-- announcement
+- Announcements
 - ODK
 ---
 

_posts/2017-05-01-recruiting.md

 ---
 layout: post
-author: Michael Kohlhase
-title: KWARC is recruiting Ph.D. Candidates and PostDocs (multiple Projects) 
+author: mkohlhase
+title: KWARC is recruiting (multiple Projects) 
 tags:
-   - recruiting
+   - Recruiting
 ---
-The KWARC group at [FAU Erlangen-Nürnberg](http://cs.fau.de) is looking for Ph.D. candidates and PostDocs in multiple MKM-related projects: e.g. OAF, OpenDreamKit (others are in the pipeline)
+The KWARC group at [FAU Erlangen-Nürnberg](http://cs.fau.de) is looking for student
+developers, Ph.D. candidates and PostDocs in multiple MKM-related projects: e.g. OAF,
+OpenDreamKit (others are in the pipeline). Details and an up-to-date listing can be found at [the KWARC hiring page](/hiring/).
 
 The KWARC group in research and development in foundations of mathematics, flexiformal knowledge representation for STEM (Science, Technology, Engineering, and Mathematics), flexiformalization, semantics extraction from STEM documents, and knowledge management on this basis.
 
-Candidates interested in the above positions should introduce themselves and inquire for further information by sending email with the usual documents to michael.kohlhase@fau.de
+Candidates interested in the above positions should introduce themselves and inquire for further information by sending email with the usual documents to [michael.kohlhase@fau.de](mailto: michael.kohlhase@fau.de)

_posts/2017-09-01-tetrapod.md

+---
+layout: post
+author: dmueller
+title: Workshop on Modular Knowledge (Tetrapod), FLoC 2018 
+tags:
+   - event
+---
+The KWARC group is (jointly with with Jacques Carette from McMaster University) 
+co-organizing a [workshop on Modular Knowledge](/events/Tetrapod-2018) at the [Federated Logic Conference 2018, Cambridge](http://www.floc2018.org/), July 13.

_posts/2017-09-01-tom.md

+---
+layout: post
+author: mkohlhase
+title: "New KWARC Ph.D. Student:Tom Wiesing"
+tags: 
+   - Announcements
+---
+We are happy to welcome [Tom Wiesing](/people/twiesing) to the KWARC group as a new Ph.D. student.
+Jonas received his Master's degree in Computer Science from Jacobs University Bremen; supervised by the KWARC group. He will be working on the [OpenDreamKit Project](/projects/odk) on the [MathHub Portal](http://mathhub.info).

_posts/2018-03-22-recruiting.md

+---
+layout: post
+author: mkohlhase
+title: "KWARC is recruiting: multiple Projects" 
+tags:
+   - Recruiting
+---
+The KWARC group at [FAU Erlangen-Nürnberg](http://cs.fau.de) is looking for student
+developers, Ph.D. candidates and PostDocs in multiple MKM-related projects. Details and an up-to-date listing can be found
+at [the KWARC hiring page](/hiring/).
+
+Currently we are seeking applications for the following projects:
+* [ALMANAC: Argumentation Logics Manager & Argument Context Graph (DFG 2018-2020)](/projects/almanac/)
+  Doctoral Students and PostDocs with a love for logic, language, and argumentation.
+* [OpenDreamKit: Open Digital Research Environment Toolkit for the Advancement of Mathematics](/projects/odk)
+  Doctoral Students and PostDocs with an interest in mathematics, computation, and system
+  integration. 
+
+The KWARC group engages in research and development in foundations of mathematics, flexiformal knowledge representation for STEM (Science, Technology, Engineering, and Mathematics), flexiformalization, semantics extraction from STEM documents, and knowledge management on this basis.
+
+Candidates interested in the above positions should introduce themselves and inquire for further information by sending email with the usual documents to [michael.kohlhase@fau.de](mailto: michael.kohlhase@fau.de)

_posts/2018-06-01-jonas.md

+---
+layout: post
+author: mkohlhase
+title: "New KWARC Ph.D. Student: Jonas Betzendahl"
+tags: 
+   - Announcements
+---
+We are happy to welcome [Jonas Betzendahl](/people/jbetzendahl) to the KWARC group as a new Ph.D. student.
+Jonas received his Master's degrees in Computer Science from the University of Bielefeld; supervised by the KWARC group. He will be working on the [OAF Project](/projects/OAF) on reasoning with undefinedness. 

_posts/2018-09-01-max_rapp.md

+---
+layout: post
+author: mkohlhase
+title: "New KWARC Ph.D. Student: Max Rapp"
+tags: 
+   - Announcements
+---
+We are happy to welcome [Max Rapp](https://kwarc.info/people/mrapp) to the KWARC group as a new Ph.D. student. Dennis received a Masters degree in Mathematics from Freiburg University and will be working on the [OAF Project](http://kwarc.info/projects/OAF), initially importing the PVS library into MathHub.

_posts/2018-11-01-postdocs.md

+---
+layout: post
+author: mkohlhase
+title: "Two new KWARC PostDocs"
+tags: 
+   - Announcements
+---
+We are happy to welcome two new postdoctoral researchers to the KWARC group:  [Katja Berčič](/people/kbercic) and [Chenwei Shi](/people/cshi).
+
+Katja received her Ph.D. in mathematics from the University of Ljubljana in 2015 and will be working on the [OpenDreamKit Project](http://opendreamkit.org), mostly on extending [MathHub.info](http://mathhub.info) with a generic mathematical data aspect. 
+
+Chenwei received his Ph.D. in Logic at the University of Amsterdam in 2018 and will be working on the [ALMANAC](/projects/almanac) project.

_posts/2018-12-18-MMTVersion.md

+---
+layout: post
+author: dmueller
+title: "New MMT Version (15.0.0) Released"
+tags: 
+   - Announcements
+---
+A new [MMT Version (15.0.0)](https://github.com/UniFormal/MMT/releases/tag/v15.0.0) has been released.