Talk:European Master Program in Computational Logic