The European Master's Program in Computational Logic