时间：2024年 6月14日（周五）9:00 - 12:00
地点：李兆基人文学苑2号楼106室
报告人1：王一廷
题目：基于知道如何的可知性逻辑研究
委员会：邢滔滔（主席），王彦晶，钟盛阳，丁一峰，姚博凯
秘书：王云崧
报告人2：何思源
题目：句方程理论研究
委员会：邢滔滔，王彦晶（主席），钟盛阳，丁一峰，姚博凯
秘书：刘力恺
报告人3：王昊玉
题目：知识逻辑视角下的直觉主义模态逻辑
