Course descriptions Algorithms and Complexity 2BINF-04 Programming Paradigms 2BINF-081 Formal Techniques in Software Engineering 3BINF-K-111 Compilers MINF1001 Compilers MINF10011 Formal Specifications MINF10131