Σεμινάριο Θεωρητικής Πληροφορικής – Τυπικών Μεθόδων “A Review of Algorithms for Symbolic Domains” Πέμπτη 28 Μαΐου ώρα 12:00, Αίθουσα M2 Prof Stephen M. Watt Cheriton School of Computer Science University
ΠροκηρυξηΕκπροσωπωνΦοιτητωνΠειθαρχικο
Σεμινάριο Θεωρητικής Πληροφορικής – Τυπικών Μεθόδων Πέμπτη 21 Μαΐου ώρα 12:00, Αίθουσα M2 “Towards verifying quantitative properties with weighted LTL” Dr Ελένη Μανδραλή (https://st.ihu.gr/posts/post-profiles/eleni-mandrali) Μεταδιδακτορική ερευνήτρια Διεθνές Πανεπιστήμιο Ελλάδας Linear
Algebra & Topology Seminar Monday 18/5, M2 and online 10.00-11.00 Anastasios Slaftsos (University of Padova), Varying exact structures in additive categories Abstract: In the additive category of complexes over a
Σεμινάριο Ανάλυσης – Alex Rodriguez, Conformal welding and flexible curves Την Τρίτη 19-05-2026 ώρα 1:00 μ.μ. στην αίθουσα Μ2 θα δώσει ομιλία ο Alex Rodriguez (Stony Brook University) στα πλαίσια
Newsletter May 2026
Για τις Πέμπτες 14 και 21 Μάη 2026 το ωράριο του μαθήματος Εφαρμοσμένη Ανάλυση Παλινδρόμησης και Διακύμανσης θα επεκταθεί στο διάστημα 14.00 – 15.15 προς αναπλήρωση χαμένων ωρών. Και στις
Τη Πέμπτη 14/05/2026 και ώρα 12:00-13:00 στην αίθουσα Μ2, θα λάβει χώρα το Σεμινάριο Γεωμετρίας με ομιλητή τον Ιωάννη Κωνσταντούλα. Τίτλος: Random symplectic lattices and equidistribution Περίληψη: Lattice point counting
Topology & Geometry Seminar Friday 8/5, M2 and online, 15.00-16.00 P. Capovilla (University of Cyprus), Aspherical 4-manifolds with positive Euler characteristic Abstract: I will present an explicit construction of closed
