Courses for 2016-2017, spring semester
required
- Λ1. Mathematical logic (Kirousis)
Special Topics in Logic
- Λ09Γ. Advanced Topics in Logic (Zachos)
- Π09Γ. Advanced topics in algorithms and complexity (Pagourtzis, Zachos)
special topics in computer science
- Π02Δ. Computational geometry (Konaxis)
- Π03Β. Semantics of programming languages (Rondogiannis)
- Π03Ε. Network algorithms and complexity (Pagourtzis)
- Π03Ζ. Algorithms in structural bioinformatics (Chrysina)
- Π05Β. Computation models and complexity (Zachos)