Location：Building of Geometry(地学楼) 206
|
Time |
Speaker | Title | Notes |
|---|---|---|---|
| Sep. 10 |
Openning |
||
| Sep. 17 |
|
holiday |
|
|
Sep. 24 |
Xinwen Liu (刘新文) |
金岳霖与皮尔士的Type-Token-Tone学说 |
|
| Oct. 1 |
|
holiday |
|
| Oct. 8 |
Yunsong Wang （王云崧） |
|
|
| Oct. 15 |
Bruno Bentzen |
Bishop's View of Mathematical Constructions |
|
|
Oct. 22 |
Mikołaj Bojańczyk |
Orbit-finite Sets |
|
|
Oct. 29 |
Lev Beklemishev |
Reflection Principles and Proof-theoretic Analysis |
|
|
Nov. 5 |
Hans van Ditmarsch |
||
| Nov. 12 |
Lukas Zenger |
|
|
| Nov. 19 |
|
|
|
| Nov. 26 |
Hanyu Li （李翰禹） |
|
|
|
Dec. 3 |
|
|
|
| Dec. 10 |
Haosui Duanmu (端木昊随） |
||
|
Dec. 17 |
Mamoru Kaneko |
|
|
|
Dec. 24 |
|