- Presenting sTeX3
- MMT Release 22
- sTeX3 Release on CTAN
- Special Trimester on "Prospects of Formalized Mathematics" at the Hausdorff Institute of Mathematics in Bonn
- Welcome Timur Fayzrakhmanov (Proect VoLL-KI)
- KWARC leads BMBF project VoLL-KI (2021-2015)
- Logic and Video Games: a Rework of FrameIT
- KWARC wins bilateral DAAD travel grant with Slovenia
- Frederik Schaefer third best teaching assistant of the Technical Faculty at FAU
- New MMT Version (16.0.0) Released
Dr. Dennis Müller 
Prof. Dr. Michael Kohlhase 
M.Sc. Richard Marcus