Location：Natural Sciences Teaching Building (理教) 215
|
Time |
Speaker | Title | Notes |
|---|---|---|---|
| Feb. 18 |
Han Xiao (肖汉) |
Three Classes of Logics in the Context of c.c.c. Forcing |
|
| Feb. 25 |
Bin Liu （刘彬） |
Coalitional Knowing How via Multi-step Plans |
|
|
Mar. 4 |
Haosui Duanmu （端木昊随） |
An Infinite Lone Wolf Theorem |
|
|
Mar. 13 (Thursday) |
Guanglong Luo (罗广龙) |
Truth and Finite Conjunction |
Room 106, Lee Shau Kee Humanities Buildings No.2 |
| Mar. 18 |
George Barmpalias |
Complexity of Enumerations and Games |
|
|
Mar. 27 （Thursday） |
Wangzhou Dai （戴望州） |
From End-to-end to Step-by-step: Integrating Machine Learning and Logical Reasoning through Abductive |
Room B112, Lee Shau Kee Humanities Buildings No.2 |
|
Apr. 1 |
Yuanzhe Yang （杨远哲） |
Two-Sorted Social Friendly Coalition Logic |
|
|
Apr. 8 |
Linfeng Wang （王林峰） |
The Story of 0# |
|
|
Apr. 15 |
Zilu Wang （王子路） |
Connecting Free Choice Permission with Obligation and Prohibition by Not Doing It | |
| Apr. 22 |
Liuzhen Wu （吴刘臻） |
|
|
| Apr. 29 |
Shichang Song （宋诗畅） |
|
|
| May 6 |
|
holiday |
|
|
May 13 |
Qi Feng （冯琦） |
|
|
| May 20 |
|
|
|
|
May 27 |
Lu Wang （王路） |
||
|
Jun. 3 |
Graham Priest |