Courses for 2006-2007, spring semester
required
- Λ4. Algorithms and complexity II (Kolliopoulos)
elective required
- Μ6. Set theory (Dimitracopoulos)
- Π6. Foundations of Databases and Knowledge (Koubarakis)
elective (computer science logic)
- Π17. Mathematics and cryptography (Raptis)
Special Topics in Logic
- Λ07Γ. Logic, automata and games (Richerby)
special topics in computer science
- Λ07Ν. Parameterized complexity and algorithms (Thilikos)
- Π02Ζ. Topics in game theory and computation (Koutsoupias)
- Π03Β. Semantics of programming languages (Rondogiannis)
- Π03Ε. Network algorithms and complexity (Pagourtzis)
- Π05Β. Computation Models, Formal Languages, Automata Theory and Complexity (Zachos)
- Π07Β. Advanced databases: algorithms and complexity (Kollias, Pagourtzis, Zachos)
- Π07Ξ. Wireless networking and mobile computing (Kranakis)
special topics in mathematics
- Μ99Δ. Descriptive set theory (Tsarpalias)