[云南省参与编制的一区块链团体标准获批发布]4月18日消息，近日，由北京航空航天大学牵头制定、云南省参与编制的《区块链智能合约形式化设计与验证方法》（T/CIE130-2022）团体标准获得中国电子学会批复，将由中国标准化出版社正式出版。中国标准化研究院出具的标准查新报告确认，该标准的内容在国内外相关领域具有创新性，认为“所研制标准首次提出了区块链智能合约的形式化设计与验证的一体化方法，为国内外使用形式化方法解决智能合约设计与开发、验证等过程提供了统一标准，可有效解决智能合约的设计难、开发难、测试难等问题”。（云南网 ）
其它快讯：
昆明两会：将深入推动云南省区块链中心建设:2月2日上午，昆明市第十四届人民代表大会第六次会议在昆开幕，昆明市委副书记、代市长刘佳晨作政府工作报告。
他表示，昆明将深入推进云南省数字经济开发区、云南省区块链中心建设，力争引进数字经济创新企业100家，打造3—5个区块链示范项目，新认定1—2家数字经济园区。
加大5G基础设施建设，新增5G基站1万个，实现主城区5G信号全覆盖，加快与VR/AR、医疗、旅游、智慧办会、刷脸就行等场景结合，拓展5G典型应用。[2021/2/2 18:41:39]
云南省将打造区块链技术应用高地:近期，云南省发布的《中共云南省委 云南省人民政府关于加快构建现代化产业体系的决定》，针对云南实际，提出构建以5个万亿级产业、8个千亿级产业为核心的现代化产业体系，并结合“十四五”规划进行布局和实施。在千亿级产业中，包含数字经济产业。云南省在该产业方面的目标是，打造我国面向南亚东南亚数字经济示范区，力争在全国率先突破面向南亚东南亚的多语言技术。打造区块链技术应用高地，做强云计算、大数据、物联网、人工智能等产业。到2030年，数字经济核心产业产值达到4000亿元。（21世纪经济报道）[2020/9/10]
《云南省5G产业发展实施方案》提出加强区块链等新兴产业布局:近日，云南省发展和改革委员会印发的《云南省5G产业发展实施方案》提出，面向国内和南亚东南亚市场，依托中国移动（云南）数据中心、保山国际数据服务产业园、昆明浪潮云计算产业园、华为玉溪云计算数据中心、“丽江云”大数据中心、“中国普洱云”科技园区等项目，加强云计算、大数据、物联网、人工智能、区块链等新兴产业布局，鼓励企业面向5G垂直行业应用，研发定制化软件产品，培育壮大5G关联产业。（都市时报）[2020/4/16]
郑重声明： 云南省参与编制的一区块链团体标准获批发布版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。