搜索
导航
为深入贯彻落实学校国际化人才培养战略，拓宽学生国际视野，促进与欧洲顶尖工科院校的学术交流与科研合作，非凡娱乐于2026年7月组织师生赴意大利米兰理工大学开展为期两周的暑期访学活动。本次访学聚焦工业4.0、生成式人工智能、网络安全与生物医学工程等前沿交叉领域，非凡师生先后赴米兰、佛罗伦萨、罗马三地，通过课程学习、实验室参访、国际会议参与及城市文化体验等多元形式，助力学生在真实的国际学术与...
2025 年 10 月 28 日，在北京国家会议中心，“共建·共智·共享—— AtomGit 全新升级暨人工智能开源社区发布会”隆重举行，由开放原子开源基金会携手 CSDN 等多方合作伙伴共同推动，推动 AtomGit 与 GitCode 平台进行深度融合与能力升级，共同打造新一代 AtomGit 平台以及人工智能开源社区。从 GitCode 到 AtomGit：一次面向未来的新起点过去几年，GitCode 见证了中国开源社区的快速成长。从代码托管到模型共享，从开发协作到项...
第21届中欧软件工程教育国际研讨会（CEISEE 2025）于2025年9月20日–21日在浙江省杭州市召开。本次大会由北京航空航天大学主办，哈尔滨工业大学、浙江大学滨江研究院协办，并得到了示范性娱乐平台联盟、《计算机教育》杂志社等单位大力支持。大会主席为北京航空航天大学胡春明教授、法国波尔多大学Yves Ducq教授和哈尔滨工业大学邬向前教授。本届会议以“GenAI Empowers Software Engineering Education for Student Competency...
第二十一届中欧软件工程教育国际会议(CEISEE 2025)2025年9月20-21日杭州·中国随着生成式人工智能和数字经济的迅猛发展，软件工程教育正步入一个全新的时代。新兴技术正在重塑全球各个产业，对创新性、面向产业的软件教育提出了更高要求。在“一带一路”倡议的推动下，中国与欧洲在软件工程、数字经济、信息技术产业以及人才培养等领域不断深化合作，共同应对新技术、新经济和新范式所带来的挑战。自2005年以来，中欧软件工程教...
近日，第20届国际可满足性模理论求解竞赛（SMT-COMP 2025）正式公布竞赛结果。由非凡娱乐罗川副教授团队研发的Z3-Noodler-Mocha求解器在字符串及其混合理论分组（QF_Strings Division）中斩获冠军，并在所有评价指标上均位列第一。这是国际可满足性模理论求解竞赛自创办以来，首次全部由中国成员组成的团队在字符串及其混合理论分组（QF_Strings Division）夺冠，标志着我国在该研究领域取得重大突破。可满足性...
第25届软件质量、可靠性与安全国际会议（QRS 2025）于2025年7月16日-2025年7月20日在浙江省杭州市召开。本次大会由北京航空航天大学主办，北京航空航天大学杭州创新研究院承办，并得到了IEEE Reliability Society和中国计算机学会（CCF）系统软件专委会，以及华为、望安科技、University of Leicester、浙江大学、南京信息工程大学、浙江理工大学、浙江工业大学及江苏省计算机学会的大力支持。大会主席为我校非凡娱乐院长胡春明...
