Logical Methods in Computer Science PhD admission https://logic-cs.at/phd/admission/ Deadline: January 11, 2020