时间：6月8日14:00

地点：人文学苑2号楼202室

答辩委员会主席：王飞跃

答辩委员会成员：吴玺宏、詹卫东、周北海、邢滔滔、王彦晶、张立英

答辩人：徐超

论文题目：带场景约束的自然语言自动形式化研究

答辩秘书：王勋

疫情原因，答辩人未能返校，答辩专家集中会场进行视频答辩。院系教务会根据院系要求将会议信息告知经过审核的旁听人员和其他相关人员，可以正常进校的本专业学生可前往答辩会场线下旁听。除此之外的其他人员均不能参与旁听。