- KWARC is recruiting: multiple Projects
- Workshop on Modular Knowledge (Tetrapod), FLoC 2018
- KWARC is recruiting (multiple Projects)
- First OpenDreamKit Review
- Report on the WP6-WIAS Workshop on Math-in-the-Middle Content
- Math Modeling Workshop at FAU; Math-in-the-Middle Ontology
- KWARC established at FAU
- Florian Rabe named Substitute Professor at Jacobs University
- KWARC goes FAU Erlangen-Nürnberg
- New Demo - Text and Formula search for OEIS
Prof. Dr. Michael Kohlhase 
M.Sc. Dennis Müller