European Masters Program in Computational Logic