[logic-ml] European PhD Program in Computational Logic (EPCL): Call for Applications