Computer Science – Algorithms, Languages and Logic, MSc Programme (Информатика: алгоритмы, языки программирования и логика, магистратура), Chalmers University of Technology