24小时热门版块排行榜

>论坛更新日志 (4952)
>导师招生 (1027)
>文献求助 (351)
>考研 (333)
>虫友互识 (321)
>硕博家园 (290)
>招聘信息布告栏 (274)
>考博 (245)
>博后之家 (230)
>生物材料 (143)
>找工作 (133)
>海外博后 (113)
>休闲灌水 (62)
>论文投稿 (52)
>基金申请 (46)
>教师之家 (37)

返回列表

当前只显示满足指定条件的回帖，点击这里查看本话题的所有回帖

liucoo

铜虫 (小有名气)

应助: 0 (幼儿园)
金币: 26.2
帖子: 58
在线: 20.5小时
虫号: 2312122

[交流] 2014可信软件系统工程（国际）暑期学校

会议城市:

重庆

截稿日期:

2014年8月24日

网址及报名地址：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日

回复此楼