[finite-model-theory] Call for Applications: Helmut Veith Stipend for Female Master´s Students in Computer Science