分论坛 > 重庆 > 新闻动态
2014可信软件系统工程(国际)暑期学校招生通知
2014-07-21 阅读量:493 小字

 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日

 

CCF聚焦