#含弘讲坛# 【西南大学计信院前沿学术报告】
报告题目：软件设计的形式化方法及超越

Towards A Formal Method of Software Design and Beyond
时

间：2017年 9 月 8 日（星期五）上午10：30
地

点：西南大学计信院，25教十三楼1320会议室
报 告 人：朱鸿 教授（英国牛津布鲁克斯大学）

#我在西大等你#相遇西大，情寄西大，我在西大等你！今天距离西南大学2017级新生开学还有【10】天！
今天云宝为大家介绍的是西南大学的各大教学楼[思考]详情戳下图呦！
【本活动及相关图片资料归青春缙云网络文化工作室所有，转载请注明来源！如有任何疑问请私信我们哦】
(云宝发现今天上午发的有一些小小的错误，[太开心]但是已经改正过来咯~)

#辅导员介绍# 王燕晶，女，1986年12月出生，四川自贡人，中共党员，讲师，西南大学语言学及应用语言学专业硕士研究生毕业。2013年开始从事学生工作至今，担任西华大学人文学院团委书记、人文学院汉语言文学专业、法学专业2013级辅导员，同时兼任法学专业2013级学生党支部书记、西华大学易班指导教师。工作尽职尽责，培养了一批优秀毕业生，带领学院团委连续三年获“五四红旗团委”光荣称号，个人多次获得“西华大学暑期三下乡优秀指导教师”、“西华大学学生易班工作站优秀指导教师”等荣誉称号，个人易班博客获评“2014年易班高校辅导员优秀博客（微博）评选活动”优秀博客，四篇博文入选《博礼“易”观》易班高校辅导员优秀博客文集。2017级学前教育、汉语言国际教育专业新生辅导员。
所带专业：2017级学前教育、汉语言国际教育