10月20日,王海天作了题为《Categorical Dynamic Epistemic Logic》的报告。
曾千里作了题为《Finite-variable Goldblatt-Thomason》的报告。