- Kicking off a survey of mathematical data collections
- New MMT-Plugin for IntelliJ
- DiscreteZOO back online
- New MMT Version (15.0.0) Released
- Two new KWARC PostDocs
- New KWARC Ph.D. Student: Max Rapp
- New KWARC Ph.D. Student: Jonas Betzendahl
- KWARC is recruiting: multiple Projects
- New KWARC Ph.D. Student:Tom Wiesing
- Workshop on Modular Knowledge (Tetrapod), FLoC 2018
Dr. Katja Berčič 
M.Sc. Dennis Müller 
Prof. Dr. Michael Kohlhase