Υποστήριξη διπλωματικής εργασίας
Την Παρασκευή 5/6/2026, ώρα 12:00μ.μ., στην αίθουσα Μ2, η κα Αικατερίνη Χατζή φοιτήτρια του ΠΜΣ της κατεύθυνσης Θεωρητικής Πληροφορικής και Θεωρίας Συστημάτων & Ελέγχου, θα υποστηρίξει την διπλωματική της εργασία με τίτλο
“Equivalent characterizations of weighted Linear Temporal Logic over finite words”.
Ο επιβλέπων
καθ. Γ. Ραχώνης