| 查看: 1999 | 回复: 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日 |
回复此楼» 猜你喜欢
今天放榜没戏了吧
已经有6人回复
-
让我中一个面上吧！
已经有11人回复
-
时间戳今天，20号变了
已经有4人回复
-
只有每年这种时候来逛逛小木虫
已经有24人回复
-
估计是周四
已经有3人回复
-
基金啊基金
已经有3人回复
-
科研孤儿太难了
已经有15人回复
-
言之凿凿，明天官网会通知放榜？
已经有17人回复
-
时间戳又变了
已经有17人回复
-
今天系统多次维护，明天很可能放榜！
已经有11人回复
» 抢金币啦！回帖就可以得到:
-
散金祈福
+5/4265
-
告别流水线爽文！108万字完结仙侠《女娲石之灵石奇缘（仙界篇）》值得细品
+1/4048
-
华西生物制药研究院招聘科研助理
+2/416
-
散金求好运
+1/200
-
坐标北京诚征男友
+1/116
-
上海交通大学张航课题组招聘博士后（电化学储能）
+1/91
-
山东征女友，坐标济南
+1/91
-
Polymers 期刊特刊 组稿
+1/83
-
面上基金祈福
+1/49
-
武汉，诚征男友，不异地，年龄大了
+1/34
-
南京理工大学优青团队催化化学方向招收推免研究生
+1/32
-
上海交通大学化学化工学院倪伟焱课题组招收2027年申请考核制博士生（电催化+高分子）
+1/21
-
pcold 原核表达载体
+1/11
-
南京医科大学-冯璋课题组-招收2027级生化与分子生物学专业博士和硕士研究生
+1/3
-
找女友
+1/3
-
出全新蔡司 Plan?APOCHROMAT 20×/0.8 平场复消色差物镜
+1/2
-
河海大学海洋环境污染与生态毒理学研究组招收2027级硕士生 及博士研究生
+1/2
-
新审查指南施行半年，AI方向的专利申请是不是更看"技术味"了？
+1/2
-
北理工集成电路杰青团队 | 诚招科助理
+1/2
-
北理工集成电路杰青团队 | 诚招科助理
+1/2
52楼2014-08-01 09:08:56
简单回复
yuanyeguhong12楼
2014-07-27 08:37
回复
liucoo(金币+1): 谢谢参与
