Science, Math, Logic and Foundations, Institutions - Aachen. Mathematical Foundations of Computer Science.
MGI - Mathematical Foundations of Computer Science