根据《北京市科学技术奖励工作办公室/关于启动2022年度北京市科学技术奖提名工作的通知》的相关要求，经项目组申请，现对提名项目“安全攸关控制系统形式验证基础理论与方法”进行公示（公示内容详见附件）。公示期：2023年4月12日至2023年4月18日。公示期内，任何单位或者个人对公示项目持有异议的，请以书面形式实名提出，并提供必要的证明文件。

　　联系人及电话：刘淼，62661022，liumiao19@iscas.ac.cn

附件材料