| 2 Fri |
|---|
|
All-day
|
|
12:00 am
1:00 am
2:00 am
3:00 am
4:00 am
5:00 am
6:00 am
7:00 am
8:00 am
9:00 am
10:00 am
11:00 am
12:00 pm
1:00 pm
2:00 pm
3:00 pm
4:00 pm
5:00 pm
6:00 pm
7:00 pm
8:00 pm
9:00 pm
10:00 pm
11:00 pm
9:30 am
Achilles Beros: A diagonally non-computable function (II)
Achilles Beros: A diagonally non...
Oct 2 @ 9:30 am – 10:30 am
3:30 pm
Colloquium: Ken-ichi Kuga (Chiba University)
Colloquium: Ken-ichi Kuga (Chib...
Oct 2 @ 3:30 pm – 4:30 pm
Speaker: Ken-ichi Kuga (Chiba University) Title: Wild Topologies and Formalization Many wild spaces appear in low-dimensional topology where naive geometric intuition fails to hold. It is therefore desirable to formalize mathematical arguments dealing with those[...]
3:30 pm
Colloquium: Pamela Harris (Williams)
Colloquium: Pamela Harris (Willi...
Oct 2 @ 3:30 pm – 4:30 pm
|
