2014 Summer School on Engineering Trustworthy Software System
网址及报名地址：http://agentlab.swu.edu.cn/summerschool
地点: 西南大学， 重庆北碚
主办单位：西南大学
合作单位：英国伯明翰城市大学
支持机构：CCF YOCSEF重庆分论坛、CCF西南大学学生分会
可信软件系统工程（国际）暑期学校由西南大学计算机与信息科学学院、英国伯明翰城市大学软件工程中心共同举办。本届暑期学校将邀请9位国内外的领域专家，以专题讲座、学术沙龙、互动交流等形式，为学员介绍计算机软件系统工程最前沿的软件工程方法、技术和实用性工具。
暑期学校面向全国招生，国内各大院校和研究院所中相关专业的在校硕士、博士研究生、青年教师、相关专业研究人员均可申请，同时可接受少量对可视化领域有浓厚兴趣的优秀高年级本科生。
专题讲座特邀讲者及讲座题目:
- Prof. Jonathan Bowen (Birmingham City University, UK): Z Method.
- Prof. Zhiming Liu (Birmingham City University, UK) Model-Driven Software Engineering.
- Prof. Annabelle McIver (Mcquarie University, AU): Security and refinement.
- Prof. Charles Carroll Morgan (University of New South Wales, AU): Hoare style programming using Dafny.
- Prof. Bernd-HolgerSchlingloff (Fraunhofer FOKUS and Humboldt-Universitatzu Berlin): Model-Driven Development of Embedded and Cyber-Physical Systems.
部分学术沙龙特邀讲者及讲座题目:
- 詹乃军教授（中国科学院软件研究所）：Formal Verification of Simulink/Stateflow Diagram
- 冯新宇教授（中国科学技术大学）：Compositional Verification of Termination-Preserving Refinement of Concurrent Programs
课程日期：2014年9月8日-13日
申请注册截至日期: 2014年8月24日
京公网安备 11010802032778号