Tentative Course List:
- Combinatorial Optimization (Group A)
- Algorithmic Game Theory
- Algorithms in Structural Bioinformatics
- Computational Αlgebra
- Computational Geometry
- Network Algorithms and Complexity
- Semantics of Programming Languages
- Special Topics in Discrete Mathematics: Advanced Topics in Cryptography
- Special Topics in Logic: Descriptive Complexity
- Special Topics in Logic: Descriptive Set Theory
- Special Topics in Logic: Formal Foundations of Mathematics and Proof Assistants (more information)
- Special Topics on Algorithms: Algorithmic Data Science
- Special Topics on Algorithms: Deterministic models in Operations Research
Last updated 22/1/2026.