#小西服务站#
【含弘讲坛】软件设计的形式化方法及超越
报告题目：软件设计的形式化方法及超越
Towards A Formal Method of Software Design and Beyond
时 间：2017年 9 月 8 日（星期五）下午15:00
地 点：西南大学计信院，25教十三楼1320会议室
报 告 人：朱鸿 教授（英国牛津布鲁克斯大学）
【含弘讲坛】软件设计的形式化方法及超越
报告题目：软件设计的形式化方法及超越
Towards A Formal Method of Software Design and Beyond
时 间：2017年 9 月 8 日（星期五）下午15:00
地 点：西南大学计信院，25教十三楼1320会议室
报 告 人：朱鸿 教授（英国牛津布鲁克斯大学）
#我在西南大学等你##青春缙云#
秋风十里不如礼，云宝在三运等着你！
礼物一：西大地图手中有，走遍西大不用愁！
礼物二：戳下图，各种豪礼等你拿
怎样拿礼包？ 扫描二维码，关注德信汇公众号，并注册成为德信汇会员。
领取时间：2017年9月8—9日；
领取地点：西南大学第三运动场青春缙云网络文化工作室迎新服务台处；
领取规则: 凭借有效证件（录取通知书或身份证）和注册手机号即可。
迎新现场还有更多的惊喜，云宝期待与你在三运相遇[害羞]
秋风十里不如礼，云宝在三运等着你！
礼物一：西大地图手中有，走遍西大不用愁！
礼物二：戳下图，各种豪礼等你拿
怎样拿礼包？ 扫描二维码，关注德信汇公众号，并注册成为德信汇会员。
领取时间：2017年9月8—9日；
领取地点：西南大学第三运动场青春缙云网络文化工作室迎新服务台处；
领取规则: 凭借有效证件（录取通知书或身份证）和注册手机号即可。
迎新现场还有更多的惊喜，云宝期待与你在三运相遇[害羞]
这里将一个故事吧……
我和我喜欢的人已经在一起第一百二十天了，
他离我……2000km
我和他开学都高二呢，
志愿是同一所大学。
西南大学，
全国排名三十七。
我现在的分数不够，还差五十多
西南大学每年只对江苏收五十一个人，
不过我会好好努力的，
希望2019年夏，
我和他都收到西南大学的录取通知书。
end♡ https://t.cn/RJLkRnv
我和我喜欢的人已经在一起第一百二十天了，
他离我……2000km
我和他开学都高二呢，
志愿是同一所大学。
西南大学，
全国排名三十七。
我现在的分数不够，还差五十多
西南大学每年只对江苏收五十一个人，
不过我会好好努力的，
希望2019年夏，
我和他都收到西南大学的录取通知书。
end♡ https://t.cn/RJLkRnv
✋热门推荐