| 查看: 2104 | 回复: 51 | |||||||
| 当前只显示满足指定条件的回帖，点击这里查看本话题的所有回帖 | |||||||
[交流]
2014可信软件系统工程（国际）暑期学校
|
|||||||
网址及报名地址：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日 |
回复此楼» 猜你喜欢
浙江师范大学是怎么坑我的
已经有7人回复
-
求教各位大神：2026教育部人文社科青年基金项目何时公示呀？
已经有6人回复
-
面上有专家说实验设备不是我们单位的
已经有8人回复
-
科研求助
已经有4人回复
-
博士去二本高校当辅导员，如何调整心态？
已经有11人回复
-
江苏省自然基金 什么时候出结果
已经有6人回复
-
闲聊
已经有3人回复
23楼2014-07-27 11:00:00
简单回复
yuanyeguhong12楼
2014-07-27 08:37
回复
liucoo(金币+1): 谢谢参与
