Courses for 2006-2007
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)
required
- Λ1. Mathematical logic (Dimitracopoulos)
- Λ2. Computability (Moschovakis)
- Λ3. Algorithms and complexity I (Koutsoupias)
Special Topics in Logic
- Λ02Α. Arithmetic complexity (Moschovakis)
- Λ98Γ. Category theory and applications (Koletsos, Stavrinos)
- Λ99Α. Finite model theory (Richerby)
special topics in computer science
- Π00Γ. Combinatorial optimization (Zissimopoulos)
- Π02Γ. Cryptography and complexity (Pagourtzis, Zachos)
- Π02Δ. Computational geometry (Emiris)
- Π02Ε. Computational algebra (Emiris, Raptis)
- Π03Γ. Type systems for programming languages (Papaspyrou)
special topics in mathematics
- Λ05Δ. Graph Theory (Thilikos)
- Μ05Β. Ergodic Ramsey Theory (Farmaki)