10月15日下午3:00- 6:00，Wesley Holliday教授做了题为 Axiomatizing Reasoning about Sets: Cardinality, Mereology, and Decisiveness 的报告。