主办方：中国科学院数学与系统科学研究院

时　间：2022年1月10日

线　下：数学院南楼219

直播地址：腾讯会议172 320 073

https://www.koushare.com/lives/room/887483

8:30-8:40  开幕式

8:40-9:25  应明生   Model Checking for Verification of Quantum Circuits

9:25-10:10   朱晓波    超导量子计算

10:10-10:20    茶歇

10:20-11:05    强晓刚   硅基集成光学量子计算技术与进展

11:05-11:50   邓东灵    Some Recent Advances in Quantum Artificial Intelligence