软件工程学院举办BASICS新年研讨会
发布时间:2020-01-10  阅读次数:2198

2020年1月8日,一年一度的BASICS新年研讨会在华东师范大学中山北路校区理科大楼圆满举办。来自中科院计算所、中山大学、山东大学、上海交通大学、复旦大学、上海财经大学、上海科技大学、华东师范大学等科研单位的30多位专家学者出席研讨会。会议由华东师范大学软件工程学院邓玉欣教授主持。

 

本次会议主要围绕软件理论和计算复杂性理论问题展开讨论,涉及算法与复杂性、形式化验证、量子计算等主题,共有12个主题报告,为国内理论计算机科学工作者提供一个交流研究成果的平台。

 

中科院计算所孙晓明作题为

《Space-Depth Trade-Off of CNOT Circuits》的报告

 

山东大学张鹏作题为《The Minimum Label s-t Cut Has Large Integrality Gaps》的报告,上海交通大学符鸿飞作题为《Formal Verification of Probabilistic Programs: Termination, Cost Analysis and Sensitivity》的报告。

 

复旦大学陈翌佳作题为

《Forbidden Sub-hypergraphs for the d-Hitting Set Problem》报告

 

上海财经大学陆品燕作题为

《最优拍卖机制设计:简单性与鲁棒性》报告

 

上海科技大学邵子瑜作题为

《Complex Engineered Networks: From Art to Science》报告

 

上海交通大学傅育熙作题为

《The Complexity of Reachability》的报告

 

上海交通大学曹钦翔作题为

《UnifySL: a Coq library for primary logic studies》报告

 

华东师范大学张敏作题为

《Some Ideas for Improving Balanced Failure Biasing》报告

 

中山大学邱道文作题为

《小规模量子查询算法与量子私密查询问题》报告

 

中科院软件所应圣钢作题为

《Quantum Software and Verification Tools》报告

 

华东师范大学邓玉欣作题为《Verifying Quantum Communication Protocols with Ground Bisimulation》报告

 

    与会专家学者围绕计算复杂性、程序验证、量子计算等计算机领域中的核心与热点问题进行充分交流讨论,会场学术氛围浓厚。

 

学者们报告后交流讨论

 

本次研讨会由上海市计算机学会理论计算机科学专业委员会主办,华东师范大学上海市高可信计算重点实验室承办。

 

会议合影

华东师范大学软件工程学院
www.sei.ecnu.edu.cn Copyright Software Engineering Institute
院长信箱:yuanzhang@sei.ecnu.edu.cn | 院办电话:021-62232550 | 学院地址:上海中山北路3663号理科大楼