日期：2024年 10月10日（星期四）
地点：李兆基人文学苑2号楼106

报告1

时间：10:15 - 10:45
报告人：邓徐冰（2022级硕士研究生）
题目：基于悖论的不完全性定理
导师：邢滔滔
委员会：王彦晶（主席），钟盛阳，丁一峰，姚博凯

报告2

时间：10:15 - 11:15
报告人：马千里（2022级硕士研究生）
题目：命题偶存性下的信念逻辑
导师：丁一峰
委员会：邢滔滔（主席），王彦晶，钟盛阳，姚博凯

报告3

时间：11:15 - 11:45
报告人：唐闻（2022级硕士研究生）
题目：带编码的一阶逻辑及理论
导师：王彦晶
委员会：邢滔滔（主席），钟盛阳，丁一峰，姚博凯