| Δεκέμβριος 2013 |
| 2013-12-23 |
MSc defense of Παναγιώτης Θεοφιλόπουλος |
| Οκτώβριος 2013 |
| 2013-10-01 |
Λ4. Αλγόριθμοι και πολυπλοκότητα II (2012-2013, χειμερινό εξάμηνο) [επαναληπτική εξέταση] |
| Αύγουστος 2013 |
| 2013-08-01 |
MSc defense of Γεώργιος Κούρτης |
| Ιούλιος 2013 |
| 2013-07-11 |
Λ14. Εισαγωγή στο λ-λογισμό (2012-2013, εαρινό εξάμηνο) [τελική εξέταση] |
| 2013-07-05 |
Λ13Ο. Προσεγγιστικοί αλγόριθμοι και σχεδιασμός μηχανισμών (2012-2013, εαρινό εξάμηνο) [τελική εξέταση] |
| 2013-07-04 |
Π05Β. Μοντέλα υπολογισμού και πολυπλοκότητα (2012-2013, εαρινό εξάμηνο) [τελική εξέταση] |
| 2013-07-01 |
Λ13Ξ. Ιντουισιονιστική λογική και κατασκευαστικά μαθηματικά (2012-2013, εαρινό εξάμηνο) [τελική εξέταση] |
| Ιούνιος 2013 |
| 2013-06-25 |
Λ1. Μαθηματική λογική (2012-2013, εαρινό εξάμηνο) [πρόοδος] |
| 2013-06-12 |
Μ6. Θεωρία συνόλων (2012-2013, εαρινό εξάμηνο) [τελική εξέταση] |
| 2013-06-10 |
MSc defense of Γραμματεία Κότσιαλου |
| Μάιος 2013 |
| 2013-05-30 |
MSc defense of Αριστοτέλης Μίσιος |
| 2013-05-27 |
Λ13Ν. Θεωρία μητροειδών (2012-2013, εαρινό εξάμηνο) [τελική εξέταση] |
| 2013-05-27 |
Λ13Ν. Θεωρία μητροειδών (2012-2013, εαρινό εξάμηνο) [τελική εξέταση] |
| 2013-05-26 |
Λ07Ν. Παραμετρική πολυπλοκότητα και αλγόριθμοι (2012-2013, εαρινό εξάμηνο) [τελική εξέταση] |
| 2013-05-26 |
Λ13Ν. Θεωρία μητροειδών (2012-2013, εαρινό εξάμηνο) [τελική εξέταση] |
| 2013-05-26 |
Λ13Ν. Θεωρία μητροειδών (2012-2013, εαρινό εξάμηνο) [τελική εξέταση] |
| 2013-05-21 |
Π02Ε. Υπολογιστική άλγεβρα (2012-2013, χειμερινό εξάμηνο) [τελική εξέταση] |
| 2013-05-17 |
E. Kranakis (Monitoring the Plane with Rotating Radars) |
| Μάρτιος 2013 |
| 2013-03-12 |
Λ4. Αλγόριθμοι και πολυπλοκότητα II (2012-2013, χειμερινό εξάμηνο) [τελική εξέταση] |
| 2013-03-06 |
Λ15. Θεωρία αποδείξεων (2012-2013, χειμερινό εξάμηνο) [τελική εξέταση] |
| 2013-03-05 |
Λ12Β. Προχωρημένα θέματα θεωρίας γραφημάτων (2012-2013, χειμερινό εξάμηνο) [επαναληπτική εξέταση] |
| 2013-03-04 |
MSc defense of Γεώργιος Μπίρμπας |
| 2013-03-01 |
Π02Γ. Κρυπτογραφία και πολυπλοκότητα (2012-2013, χειμερινό εξάμηνο) [τελική εξέταση] |
| Φεβρουάριος 2013 |
| 2013-02-27 |
Λ3. Αλγόριθμοι και πολυπλοκότητα I (2012-2013, χειμερινό εξάμηνο) [πρόοδος] |
| 2013-02-15 |
Λ99Γ. Τροπική λογική (2012-2013, χειμερινό εξάμηνο) [πρόοδος] |
| 2013-02-11 |
Π00Γ. Συνδυαστική βελτιστοποίηση (2012-2013, χειμερινό εξάμηνο) [πρόοδος] |
| 2013-02-08 |
Α. Σταμπούλης (VeriML: A dependently-typed, user-extensible and language-centric approach to proof assistants) |
| 2013-02-07 |
Π10Α. Τεχνολόγιες γνώσεων (2012-2013, χειμερινό εξάμηνο) [πρόοδος] |
| 2013-02-04 |
Π98Π. Κρυπτογραφία (2012-2013, χειμερινό εξάμηνο) [πρόοδος] |
| Ιανουάριος 2013 |
| 2013-01-11 |
Λ05Δ. Θεωρία Γραφημάτων (2012-2013, χειμερινό εξάμηνο) [επαναληπτική εξέταση] |
| 2013-01-07 |
MSc defense of Νικόλαος Καρβέλας |