- [ 2020-10-22 ] 2020中国-东盟论坛 | 第五讲 Heritage Conservation in Water Village
- [ 2020-10-15 ] 2020中国-东盟论坛 | 第四讲 Automated Smart Contracts Vulnerability Detection and Mitigation
- [ 2020-10-15 ] 2020中国-东盟论坛 | 第三讲 AI for and Against CPS
- [ 2020-10-15 ] 2020中国-东盟论坛 | 第二讲 Neural Network Fairness: Testing and Verification
- [ 2020-10-15 ] 2020中国-东盟论坛 | 第一讲 Neural Network Fairness: Testing and Verification