研讨会历时三天，每天上午举行专题报告，下午是分组进行针对性讨论。会议涉及模态逻辑、数学哲学以及逻辑与认知科学、博弈论、图论、域理论等领域的交叉。

　　4月30日上午是快速会晤环节和两场报告。与会者首先介绍了自己的研究背景和兴趣，为深入的跨学科交流做准备。第一场报告是清华大学哲学系石辰威博士主讲“模态逻辑”，第二场报告由美国得克萨斯大学休斯顿健康科学中心健康数据科学与人工智能系的张国强教授以线上形式主讲“时态组合逻辑”。下午的小组讨论分别是由清华大学金岳霖教授、新西兰奥克兰大学教授谢立民（Jeremy Seligman）主导的“数独解题思路的洞见”、中国政法大学哲学系付小轩博士主导的“偏好逻辑研究”，以及中国科学院哲学研究所和中国科学院大学人文学院副教授李大柱主导的“分体论研究”。

　　5月1日上午举行了两场报告，上海数学与交叉学科研究院教授、美国密歇根大学安娜堡分校心理学系与统计学系教授张俊主讲“论闭包算子”、闽南师范大学数学与统计学院的孙文博士主讲“论知识空间”。下午的小组讨论分别是由张俊主导的“邻域语义学与认知科学”，由高万霆（Valentin Goranko）与刘奋荣主导的“逻辑、图论与博弈论”。

　　5月2日上午举行了三场报告，北京雁栖湖应用数学研究院教授吴杰主讲“超图的嵌入同调”、武汉大学哲学学院副研究员谢凯博主讲“论因果推理的逻辑”、华东师范大学软件工程学院教授陈仪香主讲“稳定域的逻辑进路”。下午的小组讨论主要围绕因果推理、域理论的最新进展、拓扑语义等问题展开。

　　此次会议邀请来自美国、瑞典、新西兰等国家和地区的专家学者以及国内高校和科研机构的师生近20人参会。与会者充分发挥自己的专业特长，就交叉学科的前沿研究问题展开了热烈而深刻的讨论，有效促进了交叉学科研究的深入发展。

　　本次研讨会得到了清华三亚国际数学论坛领导及管理团队的大力支持。与会者对负责后勤保障的叶莉女士表示特别感谢。  

　　（清华大学逻辑学研究中心王威/供稿）