| 9:00-11:00 | Ειδικά Θέματα Αλγορίθμων: Ντετερμινιστικά Μοντέλα Επιχειρησιακής Έρευνας | Α12, Τμήμα Μαθηματικών, ΕΚΠΑ |
| 9:45-13:30 | Μοντέλα υπολογισμού, Τυπικές Γλώσσες και Αυτόματα | 1.1.29, Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών, ΕΜΠ |
| 11:00-13:00 | Ειδικά Θέματα Λογικής: Τυπική Θεμελίωση Μαθηματικών και Βοηθοί Αποδείξεων | Γ31, Τμήμα Μαθηματικών, ΕΚΠΑ |
| 16:00-18:00 | Συνδυαστική Βελτιστοποίηση | Β, Τμήμα Πληροφορικής και Τηλεπικοινωνιών, ΕΚΠΑ |
ΔΙΙΔΡΥΜΑΤΙΚΟ ΠΡΟΓΡΑΜΜΑ ΜΕΤΑΠΤΥΧΙΑΚΩΝ ΣΠΟΥΔΩΝ «ΑΛΓΟΡΙΘΜΟΙ, ΛΟΓΙΚΗ ΚΑΙ ΔΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ»