6月21日上午10点，国家自然科学基金重点项目《面向Jung-Tix问题的Domain理论与量化序理论研究》进展报告会在我司顺利召开。项目主持人湖南大学李庆国教授及其团队成员贾晓东助理教授，和子课题负责人我司副经理姚卫教授分别做了进展报告。我司经理张志超教授、副经理曹春正教授及部分老师和博士生参加了此次报告，会议由姚卫主持。

报告中，李庆国以Jung-Tix问题为出发点，详细介绍了FS-domain的拓扑表示、范畴表示和逻辑表示这三方面的研究背景、研究进展、最新的科研成果和未来目标。同时他结合自身多年来的科研经验，为无限逼近以及最终解决Jung-Tix问题提供了多种可实施的方案。贾晓东重点介绍了概率幂Domain方面的研究进展，姚卫主要介绍了量化序和量化Domain的最新研究成果和未来的努力方向。三个报告内容丰富，互相促进，已有的高水平研究成果为本项目研究的有序开展提供了充分信心，并给与会者带来了启发和鼓励。

此次报告会，为Domain理论的研究开展进一步了指明了方向，该理论的研究特色是序结构和拓扑结构的交叉，它是推动T0-拓扑空间发展的一个重要的研究领域，并为计算机程序语言的指称语义的发展提供了重要的理论基础，同时将带动序理论和拓扑学的进一步发展和融合。