[finite-model-theory] Call for Applications - Cluster of Excellence "Bilateral AI"