12月22日：袁野

报告题目：新型大图数据体系结构

报告人：袁野 教授  北京理工计算机学院

报告时间：12月22号（周二）19:30

报告形式：线上报告

会议 ID：119 568 442

主持人：程鹏

12月18日：陈馨慧

报告题目：自动化补丁移植Automated Patch Transplantation

报告人：陈馨慧 助理教授  南方科技大学

报告时间：2020年12月18日 10:00-11:00

报告形式：线上报告

点击链接入会，或添加至会议列表：

https://meeting.tencent.com/s/M9bydsYshTjr

会议 ID：239 890 527

12月15日：赵永望

报告题目：操作系统并发内存管理的形式化验证技术

报告人：赵永望 教授  浙江大学

报告时间：2020年12月15日 16:00—17:30

报告形式：线上报告

腾讯会议号：668 129 268

12月10日：王帅

报告题目：Detecting Nondeterministic Payment Bugs in Ethereum Smart Contracts

报告人：王帅 助理教授  香港科技大学

报告时间：2020年12月10日 16:00—17:00

报告形式：线上报告

会议链接：https://meeting.tecent.com/s/9fiHVB8YCoY1

会议号：283 365 502

11月30日：夏永波&唐春明&吴严生

报告一题目：The Differential Spectrum of the Power Mapping $x^{p^n-3}$

报告人：夏永波 教授 中南民族大学

报告时间：2020年11月30日 14:30–15:30

报告地点：腾讯会议 ID：775 532 368

主持人：李成举

报告二题目：FAI and LCD codes

报告人：唐春明 教授 西华师范大学

报告时间：2020年11月30日 15:30-16:30

报告地点：腾讯会议 ID：775 532 368

主持人：李成举

报告三题目：Optimal minimal linear codes from posets

报告人：吴严生 教授 南京邮电大学

报告时间：2020年11月30日 16:30-17:30

报告地点：腾讯会议 ID：775 532 368

主持人：李成举

12月2日：张文强

报告题目：知识引导的人工智能关键技术与应用

报告人：张文强 研究员  复旦大学

报告时间：2020年12月2日 14:00—15:30

报告地点：中北校区数学馆201

主持人：曹桂涛