<p>原标题：2024CCF中国软件大会将于11月15日至17日在西安召开</p><p>来源：人民日报客户端陕西频道</p><p>11月7日，记者从西安电子科技大学获悉：2024 CCF中国软件大会将于11月15日至17日在西安召开。</p><p>本次大会以“智能软件创新赋能新质生产力发展”为主题，由CCF软件工程专委会、系统软件专委会、形式化方法专委会、西安电子科技大学联合承办，吸引了包括华为技术有限公司、知存科技有限公司在内的多家知名企业赞助。</p><p>本届大会由全国软件与应用学术会议（NASAC）与全国形式化方法与应用会议（FMAC）两个会议有机组成。其中，NASAC创立于2002年，已举办二十二届，由CCF主办，CCF软件工程专业委员会与CCF系统软件专业委员会共同承办，是中国软件科学与工程相关领域参会人数最多、影响范围最广、涵盖内容最全面的学术会议。</p><p>全国形式化方法与应用会议（FMAC）创立于2016年，历经八届，由CCF主办，CCF形式化方法专业委员会承办。FMAC聚焦形式化方法理论前沿和最新研究进展，深化拓展形式化方法与相关领域的交叉，促进形式化方法、工具和应用在国内的发展。</p><p>据了解，2023届大会参会人数超过2300人，参会单位超过320家，论坛数量超过45个，赞助与协办单位超过20家，报道媒体超过10家，社会反响热烈。在往届大会成功举办的基础上，2024 CCF中国软件大会将组织特邀报告、院士高峰论坛、青年学者论坛、大会常设论坛、论文专刊论坛、顶会顶刊论坛、学术论坛、工业论坛、教育论坛、学科竞赛、软件研究成果展示等40多个不同类型的活动。大会还将邀请超过10位软件及相关领域中国科学院院士与中国工程院院士，为大会带来特邀报告并参加院士高峰论坛等活动。本届大会预计吸引超过2500人参会，参会单位预计超过350家。</p><p>值班编辑：贾凯璐</p> 讯享网
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容，请联系我们，一经查实，本站将立刻删除。
如需转载请保留出处：https://51itzy.com/kjqy/160823.html