Μάρτιος 2021 | |
Παρουσίαση: Κανονικοποίηση για τη θεωρία τύπων (Διάρκεια: 1:00 ώρες) Τρίτη, 16 Μαρτίου 2021 - 12:15 μ.μ. | |
Παρουσίαση: Η συσσωρευτική ιεραρχία στην ομοτοπική θεωρία τύπων (Διάρκεια: 0:45 ώρες) Πέμπτη, 11 Μαρτίου 2021 - 12:15 μ.μ. | |
Φεβρουάριος 2021 | |
Παρουσίαση: Θεωρία κατηγοριών στην ομοτοπική θεωρία τύπων (Διάρκεια: 0:45 ώρες) Τρίτη, 23 Φεβρουαρίου 2021 - 12:15 μ.μ. | |
Παρουσίαση: Univalence implies function extensionality (Διάρκεια: 0:45 ώρες) Παρασκευή, 19 Φεβρουαρίου 2021 - 12:15 μ.μ. | |
Παρουσίαση: Διατακτικοί αριθμοί και κλασικές καλές διατάξεις (Διάρκεια: 0:50 ώρες) Πέμπτη, 11 Φεβρουαρίου 2021 - 12:15 μ.μ. | |
Παρουσίαση: Πληθικοί αριθμοί (Διάρκεια: 0:45 ώρες) Δευτέρα, 8 Φεβρουαρίου 2021 - 12:45 μ.μ. | |
Παρουσίαση: Θεώρημα Diaconescu (Διάρκεια: 0:45 ώρες) Δευτέρα, 8 Φεβρουαρίου 2021 - 12:00 μ.μ. | |
Δεκέμβριος 2020 | |
Παρουσίαση: Θεώρημα Diaconescu (Διάρκεια: 0:45 ώρες) Τρίτη, 8 Δεκεμβρίου 2020 - 12:00 μ.μ. |