Location：Teaching Building No.2 (二教) 411
Time |
Speaker | Title | Notes |
|---|---|---|---|
| Sep. 8 | Hanyu Li （李翰禹） |
No Free Conversion: What Mathematical Shorthand Hides |
|
| Sep. 15 | Lukas Zenger |
Cyclic Proofs with Nested Sequents |
|
Sep. 22 |
Daheng Ju （鞠大恒） |
非良基集合论介绍 |
|
| Sep. 29 | Malvin Gattinger |
Craig Interpolation for PDL, finally and formally |
|
| Oct. 6 |
|
holiday |
|
| Oct. 13 | Leon Horsten |
Flexible Objects |
|
Oct. 20 |
Haitian Wang |
||
Oct. 27 |
Wouter Cohen |
|
|
Nov. 3 |
|||
| Nov. 10 | Daxin Liu (刘达欣) |
|
|
| Nov. 17 |
|
|
|
| Nov. 24 | |||
Dec. 1 |
Qi Qiu （邱奇） |
||
| Dec. 8 | Mark van Atten |
||
Dec. 15 |
|||
Dec. 22 |