IEEE International Workshop on Blockchain and Smart Contracts
IEEE 区块链与智能合约国际研讨会
 
 
会议地点:New Main Building, Room G 610, Beihang University, Beijing, China
 
会议时间:Oct. 21, 2015
 
会议议程:
 
8:50 – 9:00 Opening and Welcome: W. T. Tsai, Chair of Workshop
 
 
9:00 – 10:00 Technical Presentations
 
1.     Digital Society and Its Vision, Formal Processes, and Applications, W. T. Tsai, Beihang University, China and Arizona State University, USA
 
2.     BlindVerify: A New Effective Blind Verification Method  forBlockChain without Merkle Tree, Yan Zhu, Beijing Science & Technology University, China
 
3.     Online Digital Identity and Smart Contract, Lin Liu, Tsignhua University, China
 
 
10: 15 - 11:45 Technical Presentations
 
1.     Communication Analysis in a Private Blockchain, Hui Zhang, Beihang University, China(下载见“相关资料”)
 
2.     Formal Models and Checking of Smart Contracts, Kai Hu, Beihang University, Beijing, China
 
3.     Integrating Blockchain and Big Data, Kai Hu, Beihang University,  China
 
4.     Formal Context-Aware Legal Computing with Bigraph Models, Lian Yu, Peking University, China
 
5.     A Big-Data Infrastructure Service with Trust Management and Smart Contract, Anthony Wilson, Xiaoying Bai, Tsinghua University, China
 
 
14:00 - 14:30 Technical Presentations
 
1.     Digital Society, W. T. Tsai, Beihang University, China &  Arizona State University, USA
 
2.     Blockchain Technology, Vitalik Buterin, Ethereum, Switzerland
 
 
15:15 – 17:00 Panel Discussion, LuoJia presides
  

参会人员有:
 
北京航空航天大学:蔡维德,张辉,胡凯,王文彬,冯立波,黄洁华,李磊。
 
国家信息中心中经网基金:罗佳。
 
北京科技大学:朱岩,甘国华,路红英,郭瑞琦,Khaled Riad,于汝云。
 
清华大学:白晓颖,Anthony WilsonAffan Yasin
 
北京大学:郁莲,姚亚飞,胡成建。
 
西安电子科技大学:苏锐丹。
 
中国社科院:胡振飞。
 
广东省产权交易集团:魏生。
Ethereum界内知名人士:Vitalik ButerinCasey Detrio.
 
以及其他各界人士参与了下午的谈论会。