-
往期回顾
上海控安邀您参加2022年CCF中国软件大会！共话形式化方法工业应用前沿
2022年CCF中国软件大会（CCF ChinaSoft 2022）于2022年11月25-27日在上海国际会议中心举行。本次大会主题是“聚焦产教研用协同创新，提升关键软件供给能力”，包括学术、工业、教育等论坛活动40余场。
已有50人参与
2022年CCF中国软件大会（CCF ChinaSoft 2022）于2022年11月25-27日在上海国际会议中心举行。共有林惠民、陈左宁、邬江兴、何积丰、梅宏、吕建、柴洪峰、王怀民、郑纬民、蒋昌俊等10余位院士莅临。
本次大会主题是“聚焦产教研用协同创新，提升关键软件供给能力”，包括学术、工业、教育等论坛活动40余场。
11月27日，大会举办【形式化方法工业应用前沿】技术分论坛。上海工业控制安全创新科技有限公司总经理 蒲戈光，国防科技大学计算机学院教授、博士生导师 董威共同担任本场论坛主席，来自科大国创、华东师大等知名企业高校的专家学者将于会上发表报告演讲，共话工业领域中形式化方法的落地实践。
论坛巡礼
本文特别介绍于11月27日举办的【形式化方法工业应用前沿】技术论坛。
论坛名称：形式化方法工业应用前沿论坛
时间：2022年11月27日上午8:30-11:40
论坛简介：
形式化方法利用数学推理与算法等作为主要技术，是保障软硬件可靠性与正确性的重要手段，如形式逻辑、程序证明与模型检测均为形式化方法领域的重要研究方向，过去有多位学者在这方向获得图灵奖。本论坛将介绍形式化方法在工业界的当前应用与实践情况，邀请了工业界与学术界的同行介绍形式化方法的应用实践以及遇到的挑战，覆盖了在芯片验证、操作系统验证、程序分析等应用领域。该论坛希望通过工业界与学术界的交流，共同讨论形式化方法在工业应用领域的优势与劣势，并从工业界发现有意义的学术问题，促进形式化方法领域学术共同体的发展。
日程安排
论坛主席
报告及讲者
