Michael Kohlhase has accepted an offer for the Professorship for Knowledge Representation and Processing at [FAU Erlangen-Nürnberg](http://cs.fau.de) starting September 1. 2016. He will be an adjunct professor at [Jacobs University](http://jacobs-university.de) for another year; the actual move of the group will be over fall.
