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》报告

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

学者们报告后交流讨论

本次研讨会由上海市计算机学会理论计算机科学专业委员会主办，尊龙凯吋官方网站上海市高可信计算重点实验室承办。

会议合影