ICCQ国际会议涉及静态分析、程序验证、错误检测和软件维护。该活动的主要目标是将计算机科学领域的前沿研究者汇聚到一起,为其提供交流经验和分享最新想法的机会。
来自十个国家(包括中国、荷兰、澳大利亚、德国等)的程序委员会30名成员将对报告进行审阅。
该活动将于2021年3月27日举行。因疫情会议将以混合方式举行:报告人将通过Zoom远程介绍其作品。
会议组织者还有电气和电子工程师协会(IEEE)俄罗斯分会C分组,活动的合作伙伴有卡巴斯基、SberCloud、Yandex以及俄罗斯重点院校——国立研究型大学高等经济学院、莫斯科大学、莫斯科物理技术学院等。
来自十个国家(包括中国、荷兰、澳大利亚、德国等)的程序委员会30名成员将对报告进行审阅。
该活动将于2021年3月27日举行。因疫情会议将以混合方式举行:报告人将通过Zoom远程介绍其作品。
会议组织者还有电气和电子工程师协会(IEEE)俄罗斯分会C分组,活动的合作伙伴有卡巴斯基、SberCloud、Yandex以及俄罗斯重点院校——国立研究型大学高等经济学院、莫斯科大学、莫斯科物理技术学院等。