Academic Year 2016-2017

Name Type Sort descending Group Semester
Theory of Linear Programming Elective Fall
Semantics of Programming Languages Elective Spring
Graph Drawing Elective Fall
Network Algorithms and Complexity Elective Spring
Computational Geometry Elective Spring
Computational Cryptography Elective Fall
Algorithms in Structural Bioinformatics Elective Spring
Computational Αlgebra Elective Fall
Computation Models, Formal Languages and Automata Elective Spring
Type Systems for Programming Languages Elective Fall
Special Topics on Algorithms Elective Spring
Cryptography Elective Fall
Special Topics in Logic Elective Spring
Stochastic Μodels Elective Fall
Logic Elective Required B Spring
Combinatorial Optimization Elective Required A Fall
Recursion Theory Elective Required B Fall
Graph Theory Elective Required C Fall
Stochastic Processes Elective Required C Fall
Computational Complexity Elective Required A Fall
Set Theory Elective Required B Fall
Algorithms Required Fall