近年来，人工智能技术有了长足发展，引起了包括学术界、产业界、投资界等的重视；而信息安全一直是信息社会绕不开的课题。人工智能是把双刃剑，在给人类带来更美好生活和未来的同时，也给信息安全带来了很多严峻的挑战，即在提高信息安全水平的同时，也给信息安全带来威胁，人们尤其关注人工智能对安全带来的影响。
人工智能安全学术研讨会将于2019年5月16日在南京举办。本次会议将人工智能与信息安全这两个方面的研究和产业工作衔接起来，针对近年来人工智能和信息安全的前沿热点，讨论人工智能与网络空间安全的前沿问题以及跨学科的技术融合趋势，为国内外从事该领域研究和工程技术的专家、学者、学生及技术人员，提供一个交流最新学术成果、探讨学术前沿问题的平台。大会包括Keynote报告及圆桌论坛会议。
一、 论坛时间及地点
时间：2019 年5 月16 日
地点：南京信息工程大学中美计算机科学研究中心
二、 论坛议程
（一） 开幕式
8:30-8:50 主持：张新厂 南京信息工程大学科技处 处长
1. 周伟灿副校长致欢迎辞。
2. 集体合影留念。
（二）学术报告
第一阶段 8:50-10:00 主持：孙星明 计算机与软件学院院长
1. 报告题目：网络空间安全的可证明安全理论
报告时间：8:50-9:20
报告人：曹珍富
2. 报告题目：安卓厂商定制系统的安全新隐患
报告时间：9:20-9:40
报告人：杨珉
3. 报告题目：数据表示：由张量低秩到深度学习
报告时间：9:40-10:00
报告人：肖亮
第二阶段 10:20-11:50 主持：付章杰 计算机与软件学院副院长
4. 报告题目：智能机器云系统中的认证与安全
报告时间：10:20-10:40
报告人：陈立全
5. 报告题目：人工智能驱动的模糊测试技术
报告时间：10:40-11:00
报告人：纪守领
6. 报告题目：人工智能在公共安全中的应用
报告时间：11:00-11:20
报告人：李阳阳
7. 报告题目：安全协议形式化分析方法与自动验证工具
报告时间：11:20-11:50
报告人：李舟军
第三阶段 14:00-17:00 主持：付章杰 计算机与软件学院副院长
题目：网络空间安全前沿论坛
地点：中美计算机科学研究中心206会议室
嘉宾：曹珍富，李舟军，杨珉，肖亮，陈立全，纪守领，李阳阳，张玉书等
南京信息工程大学计算机与软件学院
2019年5月14日
