10:45-12:30 | Ειδικά Θέματα Λογικής: Περιγραφική Θεωρία Συνόλων | 108, Σχολή Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών ΕΜΠ |
13:00-15:00 | Σημασιολογία Γλωσσών Προγραμματισμού | Β, Τμήμα Πληροφορικής και Τηλεπικοινωνιών ΕΚΠΑ |
13:15-15:00 | Ειδικά Θέματα Λογικής: Περιγραφική Πολυπλοκότητα | Διαδικτυακά |