Courses for 2013-2014, fall semester
required
- Λ2. Computability (Arvanitakis)
- Λ3. Algorithms and complexity I (Fotakis, Zachos)
- Λ4. Algorithms and complexity II (Pagourtzis, Zachos)
elective (mathematical logic)
- M12. Model theory (Dimitracopoulos)
elective (logic)
- Λ13Α. Applied Proof Theory (Koletsos, Rigas)
- Λ13Β. Formal Methods and Software (Stephaneas)
special topics in computer science
- Π00Γ. Combinatorial optimization (Zissimopoulos)
- Π02Γ. Cryptography and complexity ()
- Π02Ε. Computational algebra (Emiris)
- Π03Γ. Type systems for programming languages (Papaspyrou)
- Π10Α. Knowledge technologies (Koubarakis)
- Π98Π. Cryptography (Kiayias)