由国家自然科学基金项目“基于双向计算的泛在信息系统可信开发理论与框架”部分资助的“双向计算及其应用”专题研讨会，于12月7日至8日在北京大学中关新园成功举行。

本次研讨会汇聚了国内外该领域的权威学者，围绕项目核心目标——即借助“双向计算”先进理念，构建从形式化理论到工程实践的完备可信开发框架——开展了多场深入的专题报告与学术交流。会议致力于打造高水平的国际化学术对话平台，与会专家共同探讨了前沿科学问题、分享了阶段性研究进展，并对未来合作研究方向进行了展望与规划。