[logic-ml] European Master's Program in Computational Logic