Λέσχη Μαθηματικών
Εαρινό εξάμηνο 2024-25, Τμ. Μαθηματικών ΕΚΠΑ
Κάθε Τρίτη 13:15-14:00 ή Πέμπτη 14:15-15:00 (ή και τις δύο ημέρες) στην αίθουσα Α31. Ενδέχεται να υπάρχουν τροποποιήσεις στο πρόγραμμα! Παρακαλείστε να το ελέγχετε!
Abstracts in English are also available (click on Δείτε περισσότερα... in each box).
|
10 Αίθουσα Α31 Ώρα 14:15 |
A Bayesian approach to the analysis of infectious disease data using continuous-time stochastic models. Πέτρος Μπαρμπουνάκης Περίληψη: The aim of this work is the development of stochastic epidemic models focused on disease outbreaks in humans, as well as livestock. Statistical methodology is developed aimed at informing public health policies and their communication as implemented by the governing organizations, specifically at a time of crisis like the Covid-19 pandemic. |
|---|
|
03 Αίθουσα Α31 Ώρα 14:15 |
Εισαγωγή στις Εικασίες Kakeya Γιώργος Τσιάπας Περίληψη: Ένα κλασικό πρόβλημα στη γεωμετρική θεωρία μέτρου είναι η Εικασία Kakeya, σύμφωνα με την οποία κάθε υποσύνολο του ℝn που περιέχει ευθύγραμμο τμήμα μήκους ένα σε όλες τις διευθύνσεις θα πρέπει να έχει διάσταση Hausdorff n. Σε αυτή την ομιλία δίνουμε τη βασική ορολογία και παρουσιάζουμε γνωστά αποτελέσματα γύρω από το πρόβλημα. |
|---|
|
01 Αίθουσα Α31 Ώρα 13:00 |
An Introduction to Martin-Löf Type Theory: Ανδρέας Αβουκάτος Περίληψη: Martin-Löf Type Theory (MLTT) provides a constructive foundation for mathematics and computation, integrating logic and type theory in a unified framework. This talk introduces the core principles of MLTT, including dependent types, inductive types, and identity types. We explore how MLTT serves as a foundation for constructive mathematics and influences proof assistants such as Agda. Additionally, we discuss its role in formalising mathematics and its extension in Homotopy Type Theory (HoTT). The talk assumes basic familiarity with mathematical reasoning but does not require prior knowledge of type theory. |
|---|
|
27 Αίθουσα Α31 Ώρα 14:15 |
Το Θεώρημα του Mordell (Μέρος ΙΙI) Κωνσταντίνος Γρίβας Περίληψη: Το Θεώρημα του Mordell για τα ρητά σημεία των ελλειπτικών καμπυλών είναι ένα από τα πιο σημαντικά αποτελέσματα στην αριθμητική των ελλειπτικών καμπυλών. Συγκεκριμένα, μας δίνει την δομή των ρητών σημείων μιας ελλειπτικής καμπύλης. Σκοπός των διαλέξεων είναι αποδειχθεί μία στοιχειώδης διατύπωση του θεωρήματος, να γίνει μία σκιαγράφηση για την επέκτασή του και να δοθεί ένα κίνητρο για περαιτέρω μελέτη. |
|---|
|
18 Αίθουσα Α31 Ώρα 13:15 |
Εισαγωγή στην Ανάλυση Επιβίωσης Χρυσούλα Τσισμετζόγλου Περίληψη: Η Ανάλυση Επιβίωσης είναι ένας κλάδος της στατιστικής που επικεντρώνεται στη μελέτη του χρόνου μέχρι την εμφάνιση ενός γεγονότος ενδιαφέροντος, όπως η αποτυχία ενός συστήματος,ο θάνατος, η εμφάνιση μιας ασθένειας,η ανάρρωση από μια ασθένεια ή γενικά αποτυχία ενός συστήματος. Σε αυτήν την παρουσίαση, θα εξετάσουμε σύντομα τις βασικές έννοιες, τα κύρια μοντέλα και τις βασικές μεθόδους που χρησιμοποιούνται στην Ανάλυση Επιβίωσης. |
|---|
|
11 Αίθουσα Α31 Ώρα 13:00 |
An Introduction to Martin-Löf Type Theory: Ανδρέας Αβουκάτος Περίληψη: Martin-Löf Type Theory (MLTT) provides a constructive foundation for mathematics and computation, integrating logic and type theory in a unified framework. This talk introduces the core principles of MLTT, including dependent types, inductive types, and identity types. We explore how MLTT serves as a foundation for constructive mathematics and influences proof assistants such as Agda. Additionally, we discuss its role in formalising mathematics and its extension in Homotopy Type Theory (HoTT). The talk assumes basic familiarity with mathematical reasoning but does not require prior knowledge of type theory. |
|---|
|
04 Αίθουσα Α31 Ώρα 13:15 |
Το Θεώρημα του Mordell (Μέρος ΙΙ) Κωνσταντίνος Γρίβας Περίληψη: Το Θεώρημα του Mordell για τα ρητά σημεία των ελλειπτικών καμπυλών είναι ένα από τα πιο σημαντικά αποτελέσματα στην αριθμητική των ελλειπτικών καμπυλών. Συγκεκριμένα, μας δίνει την δομή των ρητών σημείων μιας ελλειπτικής καμπύλης. Σκοπός των διαλέξεων είναι αποδειχθεί μία στοιχειώδης διατύπωση του θεωρήματος, να γίνει μία σκιαγράφηση για την επέκτασή του και να δοθεί ένα κίνητρο για περαιτέρω μελέτη. |
|---|
|
27 Αίθουσα Α31 Ώρα 14:00 |
Αναβάλλεται! [Χ] Η παρουσίαση αναβάλλεται λόγω της κατάληψης του τμήματος για το έγκλημα των Τεμπών. |
|---|
|
25 Αίθουσα Α31 Ώρα 13:15 |
Το Θεώρημα του Mordell (Μέρος Ι) Κωνσταντίνος Γρίβας Περίληψη: Το Θεώρημα του Mordell για τα ρητά σημεία των ελλειπτικών καμπυλών είναι ένα από τα πιο σημαντικά αποτελέσματα στην αριθμητική των ελλειπτικών καμπυλών. Συγκεκριμένα, μας δίνει την δομή των ρητών σημείων μιας ελλειπτικής καμπύλης. Σκοπός των διαλέξεων είναι αποδειχθεί μία στοιχειώδης διατύπωση του θεωρήματος, να γίνει μία σκιαγράφηση για την επέκτασή του και να δοθεί ένα κίνητρο για περαιτέρω μελέτη. |
|---|
|
20 Αίθουσα Α31 Ώρα 14:00 |
Αναβάλλεται! [Χ] Η παρουσίαση αναβάλλεται λόγω της στάσης εργασίας των μελών ΔΕΠ για την επίθεση κουκουλοφόρων στον πρόεδρο του τμήματος. |
|---|