Michael Kohlhase has accepted an offer for the Professorship for Knowledge Representation and Processing at FAU Erlangen-Nürnberg starting September 1. 2016. He will be an adjunct professor at Jacobs University for another year; the actual move of the group will be over fall.