CHINASOFT征稿

• CCF ChinaSoft 2022：“泛在操作系统理论、技术与开源生态构建” Track征稿通知

  瞄准国家在操作系统及其生态上的重大战略需求，探索面向泛在计算场景的操作系统新理论及其软件定义新方法，力争形成泛在操作系统基础理论、方法技术与开源生态构建的有机体系...

• CCF ChinaSoft 2022：“人工智能安全” Track征稿通知

  随着人工智能技术在社会、经济和生活领域的不断渗透和应用，人工智能的安全问题也得到研究人员的广泛关注。深度学习为代表的人工智能技术存在鲁棒性、模型后门、公平性和隐私等问题...

• CCF ChinaSoft 2022：“基础软件质量保障”Track征稿通知

  With the rapid development of the technologies such as cloud computing, artificial intelligence and big data, software systems are inseparable from people's daily lives. In many security critical systems...

• CCF ChinaSoft 2022：“形式化方法与应用”Track征稿通知

  形式化方法以严格的数学化和机械化方法为基础来规约、设计、构建、验证、演进计算系统，是改善和确保计算系统质量的重要方法，其模型、技术和工具已成为安全攸关系统质量保障不可或缺的重要载体...

• CCF ChinaSoft 2022：“软件可信性与供应链安全前沿进展”Track征稿通知

  随着计算机应用的不断发展，软件已经渗透到国民经济和国防建设的各个领域，在信息社会中发挥着至关重要的作用。同时各行各业依赖各类软件，软件的可信性与供应链安全已成为学术界和工业届不可忽视...

• CCF ChinaSoft 2022：“软件缺陷的自动发现与修复”Track征稿通知

  Software defects are prevalent among programs and may cause significant threats to both the national economy and human lives. However, they are inevitable during software development...

• CCF ChinaSoft 2022：“AI软件系统工程化技术与规范”Track征稿通知

  近年来，人工智能产业的热度逐步提升，市场规模在持续扩大，全球各行各业的组织机构都正在或试图通过人工智能对原有的产品和服务赋予新的能力。最先进的人工智能系统正在迅速从实验室环境迁移到工业环境...

• CCF ChinaSoft 2022：“约束求解与定理证明”Track征稿通知

  随着计算机系统在工业和生活中越来越广泛的应用，软件和硬件的可靠性受到越来越多的关注。形式化方法使用严格的数学语言对计算机系统建模，并在计算机的辅助下验证系统的正确性。与测试不同，形式化...

• CCF ChinaSoft 2022： “群智化软件测试技术和方法”Track征稿通知

  On top of the two basic roles of "interconnecting computers" and "interconnecting objects", Internet is gradually showing a new role of "interconnecting intelligence": large-scale loose human individuals...

• CCF ChinaSoft 2022： “可解释AI”Track征稿通知

  当下人工智能领域最热门的新兴话题之一，就是“可信AI”。AI技术的“不可信”逐渐成为AI大规模落地的一大阻碍。因此，在将AI模型投入生产时，AI可解释性对于组织建立信任和信心至关重要。AI可解释性...

• CCF ChinaSoft 2022： “从自动化到智能化：工业数字化转型新理论新方法”Track征稿通知

  以5G、物联网、云计算、大数据、区块链等为代表的新一代基础信息技术的发展，奠定了工业数字化转型的基础。尽管不同行业对于工业数字化转型的具体概念有待统一，但达成的有效共识是在新一代信息技术...

• CCF ChinaSoft 2022： “软件智能合成理论与方法”Track征稿通知

  随着信息技术的快速发展，软件在国民经济各个领域发挥的作用越来越重要。面对软件需求日益多样、功能日趋复杂、规模持续提升的现状，迫切需要探索新的软件自动化开发模式和方法...

• CCF ChinaSoft 2022： “面向人工智能的边缘计算技术”Track征稿通知

  人工智能在2021年再次爆发式成长，一方面是超大模型不断向模型参数巨量化加速演进，其中的代表是OpenAI、谷歌和中国智源等发布的参数量达千亿以上规模；而另外一个更有趣的现象...