DELTA21逻辑研讨会在中山大学召开
第二十一届DELTA逻辑研讨会(Δ21-workshop on logic)于2024年9月21日在中山大学岭南文化研究院成功举办。DELTA主要关注逻辑在哲学、数学以及计算机科学中的前沿动态，促进逻辑学不同领域分支的应用发展。本次会议吸引了来自清华大学、北京大学、复旦大学、中山大学、武汉大学、南开大学、暨南大学、广东技术师范大学、贵州大学等高校的二十余位学者参加，专业领域涵盖哲学、数学、计算机科学等多个方向。会议安排的六场特邀报告引发了参会者热烈地讨论与交流。这些报告是：
面向非结构化状态的智能规划方法
报告人：萧展豪 广东技术师范大学
Axiomatically characterizing the Minimax voting method
报告人：丁一峰 北京大学
含例邻域逻辑的插值定理
报告人：俞珺华 清华大学
Automatic Synthesis of Generalized Winning Strategies of Impartial Combinatorial Game
报告人：方良达 暨南大学
Definable W-topologies on NIP fields
报告人：杨阳 复旦大学
Three surjections from the square of an infinite set
报告人：胡骁 武汉大学
首届DELTA自2015年召开以来已连续举办9年，会议有力地推动了国内外逻辑学界，尤其是青年学者的交流和合作。会议创始人之一，南京大学数学学院院长喻良教授代表全体参会者对此次会议的主办方表示感谢，并公布DELTA22将在11月9日复旦大学举办。
我们感谢所有DELTA21参与者对会议的大力支持，并预祝DELTA22取得圆满成功。
DELTA21参会者合影
附：DELTA21会议议程
