- The Future of Formalized Mathematics
- Lean Export in MMT
- Automated mathematics: integrating proofs, algorithms and data
- Exporting Proof Assistant Libraries
- Representing Scientific Knowledge
- 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)
Prof. Dr. Florian Rabe 
Dr. Dennis Müller 
Prof. Dr. Michael Kohlhase