-
2025-08
27
2025-08-27会议通知 | 第二十一届中欧软件工程教育国际会议(CEISEE 2025)
第二十一届中欧软件工程教育国际会议(CEISEE 2025)2025年9月20-21日杭州·中国随着生成式人工智能和数字经济的迅猛发展,软件工程教育正步入一个全新的时代。新兴技术正在重塑全球各个产业,对创新性、面向产业的软件教育提出了更高要求。在“一带一路”倡议的推动下,中国与欧洲在软件工程、数字经济、信息技术产业以及人才培养等领域不断深化合作,共同应对新技术、新经济和新范式所带来的挑战。自2005年以来,中欧软件工程教...
-
2025-08
20
2025-08-20北航太阳集团tyc5997罗川团队斩获第20届国际可满足性模理论(SMT)求解竞赛冠军
近日,第20届国际可满足性模理论求解竞赛(SMT-COMP 2025)正式公布竞赛结果。由太阳集团tyc5997罗川副教授团队研发的Z3-Noodler-Mocha求解器在字符串及其混合理论分组(QF_Strings Division)中斩获冠军,并在所有评价指标上均位列第一。这是国际可满足性模理论求解竞赛自创办以来,首次全部由中国成员组成的团队在字符串及其混合理论分组(QF_Strings Division)夺冠,标志着我国在该研究领域取得重大突破。可满足性...
-
2025-08
16
2025-08-16教育部编译课程虚拟教研室建设经验及典型教研成果分享:传承创新、协同发展,北航编译课程虚拟教研室建...
北航编译课程团队始建于上世纪80年代,秉承良好的传帮带传统,经历了几代老师,建成了国家精品课、国家精品资源共享课和国家级一流课程。20多年前,多种因素导致全国编译课程整体水平下滑。2009年北航张莉教授联合当时的编译国家精品课程单位(国防科技大学、武汉大学、中南大学、北京工业大学)牵头发起了“全国编译课程研讨会”,该会议每两年举办一次,迄今已持续十余年。教育部编译课程虚拟教研室基于上述合作基础进行建设...
-
2025-08
29
2025-08-29全国唯一!北航太阳集团tyc5997学子斩获中国软件杯大赛全国一等奖(特别奖)
日前,第十四届“中国软件杯”大学生软件设计大赛全国总决赛于8月25日-28日在苏州大学隆重举办。“中国软件杯”是由工业和信息化部、教育部和江苏省政府共同主办的全国性赛事,秉承“政府指导,企业出题,高校参与,专家评审,育才选才”方针,题目均来自于一线企业痛点难点,以“催生多重效应,引领产业创新”为宗旨,在深化产教融合、产融对接、创新人才培养、激励人才创新,推动科研创新、成果转化等方面搭建了重要的平台和...
-
2025-08
29
2025-08-29北航太阳集团tyc5997周号益团队发表科学智算基础模型“OmniArch”,实现1D-2D-3D偏微分方程统一求解
近日,我院周号益副教授团队在科学智算方向取得重要进展,提出科学智算基础模型OmniArch,首次以单一模型统一求解1D、2D、3D多维偏微分方程(PDE),在多项关键指标上显著优于现有方法。相关成果以“OmniArch: Building Foundation Model for Scientific Computing”为题在国际机器学习大会 ICML 2025 发表。论文地址:https://openreview.net/pdf?id=UlprLwWYKP代码地址:https://openi.pcl.ac.cn/cty315/OmniArchCNAI4S科学智...