部分本科生放假了，但是研究生的精神食粮#含弘讲堂#还没有“放假”哦，希望大家多多关注[嘻嘻][嘻嘻][嘻嘻]
1.11#含弘讲堂#预告！明天哦！【西南大学计信院前沿学术报告Southwest University IT Faculty Seminar】
报告题目：基于自动推理和约束求解的软件质量保障
时 间：2018年1月11日（星期四）上午10:00-11:00
地 点：西南大学计算机与信息科学学院1314会议室
报 告 人：中国科学院软件研究所 张健 研究员
1.11#含弘讲堂#预告！明天哦！【西南大学计信院前沿学术报告Southwest University IT Faculty Seminar】
报告题目：基于自动推理和约束求解的软件质量保障
时 间：2018年1月11日（星期四）上午10:00-11:00
地 点：西南大学计算机与信息科学学院1314会议室
报 告 人：中国科学院软件研究所 张健 研究员
【[话筒]深信服与西南大学计信院签署战略合作】近日，深信服与西南大学正式签署战略合作协议，双方将充分整合各自优秀的理念与专业领域的优势资源，联手建立“下一代互联网信息安全技术国家地方联合工程实验室”，并启动“高校实验数据在教学中的应用”项目，共同为智慧教育的发展作出积极贡献。[并不简单]
#含弘讲坛# 【西南大学计信院前沿学术报告】
报告题目：软件设计的形式化方法及超越
Towards A Formal Method of Software Design and Beyond
时 间：2017年 9 月 8 日（星期五）上午10：30
地 点：西南大学计信院，25教十三楼1320会议室
报 告 人：朱鸿 教授（英国牛津布鲁克斯大学）
报告题目：软件设计的形式化方法及超越
Towards A Formal Method of Software Design and Beyond
时 间：2017年 9 月 8 日（星期五）上午10：30
地 点：西南大学计信院，25教十三楼1320会议室
报 告 人：朱鸿 教授（英国牛津布鲁克斯大学）
✋热门推荐