BASICS 2020 New Year Workshop


时间: 2020年1月8日
地点: 上海市中山北路3663号华东师范大学理科大楼1002


日程安排

09:00-09:30 孙晓明 Space-Depth Trade-Off of CNOT Circuits
09:30-10:00 陈翌佳 Forbidden Sub-hypergraphs for the d-Hitting Set Problem
10:00-10:30 张鹏 The Minimum Label s-t Cut Has Large Integrality Gaps
10:30-11:00 茶歇
11:00-11:30 陆品燕 最优拍卖机制设计:简单性与鲁棒性
11:30-12:00 邵子瑜 Complex Engineered Networks: From Art to Science
12:00-12:30 符鸿飞 Formal Verification of Probabilistic Programs: Termination, Cost Analysis and Sensitivity
12:30-14:00 午餐
14:00-14:30 傅育熙 The Complexity of Reachability
14:30-15:00 曹钦翔 UnifySL: a Coq library for primary logic studies
15:00-15:30 张敏 Some Ideas for Improving Balanced Failure Biasing
15:30-16:00 茶歇
16:00-16:30 邱道文 小规模量子查询算法与量子私密查询问题
16:30-17:00 应圣钢 Quantum Software and Verification Tools
17:00-17:30 邓玉欣 Verifying Quantum Communication Protocols with Ground Bisimulation

Last updated: December 30, 2019