[云南省参与编制的一区块链团体标准获批发布]4月18日消息，近日，由北京航空航天大学牵头制定、云南省参与编制的《区块链智能合约形式化设计与验证方法》（T/CIE130-2022）团体标准获得中国电子学会批复，将由中国标准化出版社正式出版。中国标准化研究院出具的标准查新报告确认，该标准的内容在国内外相关领域具有创新性，认为“所研制标准首次提出了区块链智能合约的形式化设计与验证的一体化方法，为国内外使用形式化方法解决智能合约设计与开发、验证等过程提供了统一标准，可有效解决智能合约的设计难、开发难、测试难等问题”。（云南网 ）
《云南省5G产业发展实施方案》提出加强区块链等新兴产业布局:近日，云南省发展和改革委员会印发的《云南省5G产业发展实施方案》提出，面向国内和南亚东南亚市场，依托中国移动（云南）数据中心、保山国际数据服务产业园、昆明浪潮云计算产业园、华为玉溪云计算数据中心、“丽江云”大数据中心、“中国普洱云”科技园区等项目，加强云计算、大数据、物联网、人工智能、区块链等新兴产业布局，鼓励企业面向5G垂直行业应用，研发定制化软件产品，培育壮大5G关联产业。（都市时报）[2020/4/16]
动态 | 《云南省新一代人工智能发展规划》要求丰富区块链技术场景应用:据昆明日报消息，日前，省政府网站公布《云南省新一代人工智能发展规划》，《规划》明确，充分发挥人工智能在数字经济开发区建设中的作用，丰富区块链技术场景应用，加速推动人工智能等信息技术与实体经济深度融合。[2019/11/25]
政策 | 云南省政府提出大力发展区块链等数字经济:据云南省人民政府网站，9月25日，云南省长阮成发主持召开第十三届省人民政府第20次常务会议。会议指出，要紧跟信息时代发展步伐，大力发展区块链等数字经济，积极打造云南省新的经济增长点。[2018/9/26]
郑重声明： 云南省参与编制的一区块链团体标准获批发布版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。