Information from the Commissions Information regarding the International MSc Program in Computational Logic