--- layout: post author: Michael Kohlhase title: KWARC established at FAU tags: - announcement --- With Dennis Müller movint to Erlangen, we have (the beginnings of) a group presence at FAU.