[finite-model-theory] Call for Applications: Helmut Veith Stipend for Female Master’s Students in Computer Science_DL: November 30