日期：2026年6月26日（周五）

地点：李兆基人文学苑2号楼106室

时间：13:00—14:00

报告人：刘力恺

论文题目：追本溯源：论高阶逻辑何以必要

委员会：邢滔滔（主席），王彦晶，钟盛阳，丁一峰，姚博凯

报告30分钟，问答30分钟。