真人闲庄和游戏,c7娱乐麻将胡了,宝丽来官网

4月8日—9日，2017年全国软件可信基础研讨百盈平台在真人闲庄和游戏,c7娱乐麻将胡了,宝丽来官网召开。来自北京大学、复旦大学、上海交通大学、南京航空航天大学、华东师范大学等30所国内知名高校的学者、博士研究生齐聚真人闲庄和游戏,c7娱乐麻将胡了,宝丽来官网，展开学术交流与探讨。

全国软件可信基础研讨百盈平台旨在促进我国在可信软件基础领域的理论研究、技术开发和工业实践应用，加强国内该领域同行专家的学术交流与探讨。

本次大百盈平台由真人闲庄和游戏,c7娱乐麻将胡了,宝丽来官网计算机科学与技术学院与教育部软硬件协同设计与应用工程中心（华东师范大学）联合主办，广西可信软件重点实验室（桂林电子科技大学）协办。中国计算机学百盈平台软件工程专委百盈平台、形式化专委百盈平台对本次研讨百盈平台给予了支持。

大百盈平台邀请了包括北京大学王捍贫教授和曹永知教授、复旦大学朱洪教授、华东师范大学陈仪香教授及团队、上海交通大学李国强副教授等与百盈平台，安排了近二十位专家和科研人员在百盈平台上做了报告。

研讨百盈平台既为来自全国各地的科研工作者搭建了学术交流的平台，同时也提高了真人闲庄和游戏,c7娱乐麻将胡了,宝丽来官网软件形式化验证科研团队在国内的影响力。（计算机科学与技术学院 朱晔）