在线入会
当前位置在:首页 商会概况--> > 会议活动 > 会议活动总结

理论专委会举办BASICS新年研讨会

时间:2020-01-19点击量:

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

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

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

mg4355电子游戏_www.mg4355.com_mg4355线路检测©2005-2019 All Rights Reserved
沪ICP备19032017号-1

地址:上海市南昌路47号3号楼303室
电话:021-53828933
E-mail:computer@stn.sh.cn
工作时间:周一至周日 09:00-17:00(节假日除外)
技术支持:上海云令智享信息技术有限公司
二维码