2018年6月22日至23日，第7届华人学者知识表示与推理学术研讨会（The 7th Chinese Scholar Workshop on Knowledge Representation and Reasoning）在计算机与信息科学学院0114学术报告厅召开。本次报告由学院副院长陈武教授主持，学院院长肖国强教授出席并致辞。计算机相关专业多位老师、研究生和本科生到场聆听，与海内外学者共享学术盛宴。

院长肖国强教授致辞 

本次国际研讨会共邀请了阿尔伯塔大学犹嘉槐教授、格里菲斯大学王克文教授、香港科技大学林方真教授、纽约城市大学周能法教授、中科院沈一栋研究员、东南大学漆桂林教授、中山大学刘咏梅教授、西南大学刘志明教授等26位海内外的专家学者。研讨会共安排了15场精彩的报告，围绕程序验证、知识图谱、认知逻辑、回答集编程、描述逻辑等研究主题，与会者深入交流了自己团队一年以来取得的研究进展。针对当前由于机器学习和统计算法领域的显著成果所带来的人工智能全面复兴，与会者对知识表示与推理领域面临的挑战和机遇进行了讨论，并对下一步的工作形成了若干共识。

我院国家千人计划专家刘志明教授作学术报告

开幕式上，肖国强院长代表学院致欢迎辞，表达了对参加本次国际研讨会海内外专家的热烈欢迎。肖院长就西南大学和计算机与信息科学学院的历史、发展情况、本次研讨会的主旨等作了简要介绍，并诚挚祝愿研讨会取得圆满成功。

副院长陈武教授主持会议

开幕式结束后， 20位海内外知名学者分别围绕程序验证、知识图谱、认知逻辑、回答集编程、描述逻辑等研究主题带来了精彩纷呈的主题学术报告。

我院特聘教授张明义作大会说明