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日