《基于区块链的智能合约形式化表达规范》 标准编制研讨会在京成功举办

来源：中国电子学会

由中国电子学会区块链分会（以下简称“分会”）支持，北京科技大学组织举办的《基于区块链的智能合约形式化表达规范》标准编制研讨会于2020年11月20日上午在京成功举办。

会议首先由分会秘书处向与会专家介绍了《基于区块链的智能合约形式化表达规范》团体标准立项背景和编制工作进展情况。标准编制牵头单位北京科技大学向与会专家详细介绍了标准研制过程、框架结构和成果用例等内容。来自相关领域的产学研各界专家分别围绕标准背景、章节条款、术语定义和用例推广等方面，从学术研究、技术实践、产业应用和标准化规范等不同维度，结合自身经验各抒己见充分研讨。

目前，该标准已形成征求意见稿，并于11月3日面向社会公开征求意见，后续还将根据各方意见反馈情况进一步调整和完善，并按标准研制程序开展技术审定、报批等工作。

本次会议由中国电子学会区块链分会副主任委员、北京科技大学朱岩教授主持，中国电子学会审计和项目管理处负责人孙贻滋、中国电子学会标准工作委员会秘书长高麟鹏出席会议。与会专家包括来自北方工业大学、北京航空航天大学、北京科技大学、北京邮电大学和扬州大学等高校的专家学者，来自北京互联网法院、法律出版社、中国电子技术标准化研究院和中国科学院软件研究所等单位的行业代表，来自北京磁云唐泉金服科技有限公司、北京太一云科技有限公司、联动优势科技有限公司、四川长虹信息安全实验室和中鑫融信（北京）科技有限公司等区块链分会成员单位的技术负责人，以及来自北京金山云网络技术有限公司、北京数字政通科技股份有限公司、贝壳找房（北京）科技有限公司等中国数字经济百人会合作伙伴的领导和技术专家，合计24家单位共42位专家和代表参会。