Courses for 2003-2004, spring semester
required
- Λ1. Mathematical logic (Dimitracopoulos)
- Λ4. Algorithms and complexity II (Pagourtzis)
elective required
- Π6. Databases (Sellis)
elective (logic)
- Λ15. Proof theory (Stavrinos)
elective (computer science logic)
- Π17. Mathematics and cryptography (Raptis)
special topics in computer science
- Π01Α. Online algorithms (Koutsoupias)
- Π01Π. Algorithms for data mining (Afrati)
- Π03Α. Structural complexity (Zachos)
- Π03Β. Semantics of programming languages (Rondogiannis)
- Π03Γ. Type systems for programming languages (Papaspyrou)
- Π03Δ. Algorithms in molecular biology (Emiris)