- Florian Rabe named Substitute Professor at Jacobs University
- KWARC goes FAU Erlangen-Nürnberg
- New Demo - Text and Formula search for OEIS
- Best Paper Award at CICM
- KWARC is recruiting Ph.D. Candidates and PostDocs (multiple Projects)
- OpenDreamKit H2020 Grant accepted by EU
- New KWARC Ph.D. Student: Dennis Müller
- Ph.D. Defense Fulya Horozal: Congratulations!
- Andrea Kohlhase starts Professorship at Hochschule Neu-Ulm
Prof. Dr. Michael Kohlhase