11月7日下午三点到六点，在理教417，荷兰代尔夫特大学博士生赵之光应邀做了题为“Algorithmic correspondence and canonicity for possibility semantics‘的讲座。