| 查看: 1825 | 回复: 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日 |
回复此楼» 猜你喜欢
308求调剂
已经有4人回复
-
NSFC申报书里申请人简历中代表性论著还需要在申报书最后的附件里面再上传一遍吗
已经有14人回复
-
材料与化工一志愿南昌大学327求调剂推荐
已经有6人回复
-
化学调剂0703
已经有7人回复
-
327求调剂
已经有11人回复
-
调剂
已经有8人回复
-
梁成伟老师课题组欢迎你的加入
已经有7人回复
-
伙伴们，祝我生日快乐吧
已经有24人回复
-
中科院材料273求调剂
已经有3人回复
-
材料工程专硕274一志愿211求调剂
已经有5人回复
» 抢金币啦！回帖就可以得到:
-
福建师范大学招收2026年化学、材料硕士3-4名
+1/82
-
哈工大本部-电化学新能源方向博士捡漏名额
+1/78
-
山东师范大学有机化学专业胡忠燕老师课题组招收2026届硕士研究生以及调剂生
+1/46
-
生殖医学与子代健康全国重点实验室遗传学课题组招收研究生(长期有效)
+1/34
-
青岛大学泰山学者课题组招2026年申请考核制博士
+1/34
-
澳大利亚西澳大学（UWA）张金强课题组招收全奖博士生（化工新能源方向）
+1/34
-
新疆大学招收学硕调剂
+1/24
-
加拿大阿尔伯塔大学招收电磁、无线通信、机器学习方向全奖硕士/博士/博士后/访问学者
+2/22
-
中国科学院苏州纳米所院士团队博士后岗位招聘
+1/15
-
学术/专业硕士调剂——化学、资源与环境
+1/15
-
2026年上海大学王亮课题组招收电催化或光催化研究背景的博士生
+2/14
-
重庆大学药学院闫海龙课题组拟招收2026年申请考核制博士研究生数名
+1/7
-
26年申博自荐-计算机视觉
+1/7
-
双一流天津工业大学电信学院李鸿强教授招收2026年申请审核制博士3名
+1/7
-
上海师范大学化学与材料科学学院任新意副研究员招收调剂学生3-4名（有机化学专业）
+1/5
-
浙江大学物理学院 汪银桥课题组 招收软凝聚态物理与统计物理方向 研究生和博士后
+1/4
-
课题组招收环境及相关专业调剂硕士研究生（欢迎优秀学生加入）
+1/4
-
首次招收资格，招收工科调剂！
+1/4
-
温州大学招收2026年入学博士研究生（化学、材料、环境）
+1/1
-
澳大利亚科学院院士Prof.Gordon Wallace, University of Wollongong 全奖博士机会
+1/1
5楼2014-07-27 08:18:13
6楼2014-07-27 08:18:13
8楼2014-07-27 08:19:13
9楼2014-07-27 08:19:21
23楼2014-07-27 11:00:00
24楼2014-07-27 11:19:29
★
liucoo(金币+1): 谢谢参与
liucoo(金币+1): 谢谢参与
|
本帖内容被屏蔽 |
26楼2014-07-27 11:36:32
33楼2014-07-27 12:18:25
39楼2014-07-27 13:21:21
简单回复
费姚永芬2楼
2014-07-25 08:36
回复
liucoo(金币+1): 谢谢参与
nono20093楼
2014-07-25 08:45
回复
liucoo(金币+1): 谢谢参与
·
2014-07-27 07:58
回复
liucoo(金币+1): 谢谢参与
2014-07-27 08:18
回复
liucoo(金币+1): 谢谢参与
happychz10楼
2014-07-27 08:20
回复
liucoo(金币+1): 谢谢参与
SCIxiang11楼
2014-07-27 08:32
回复
liucoo(金币+1): 谢谢参与
yuanyeguhong12楼
2014-07-27 08:37
回复
liucoo(金币+1): 谢谢参与
cxjzly200813楼
2014-07-27 08:43
回复
liucoo(金币+1): 谢谢参与
bj200898914楼
2014-07-27 08:51
回复
liucoo(金币+1): 谢谢参与
xunitiankong15楼
2014-07-27 09:02
回复
liucoo(金币+1): 谢谢参与
Jameskelly16楼
2014-07-27 09:02
回复
liucoo(金币+1): 谢谢参与
祝福
小王二丫17楼
2014-07-27 09:03
回复
liucoo(金币+1): 谢谢参与
mxrnju18楼
2014-07-27 09:08
回复
liucoo(金币+1): 谢谢参与
sighthill19楼
2014-07-27 09:09
回复
liucoo(金币+1): 谢谢参与
祝福
stirith20楼
2014-07-27 09:23
回复
liucoo(金币+1): 谢谢参与
springburn21楼
2014-07-27 10:55
回复
liucoo(金币+1): 谢谢参与
祝福
kiss2008553722楼
2014-07-27 10:57
回复
liucoo(金币+1): 谢谢参与
焦卫红25楼
2014-07-27 11:24
回复
liucoo(金币+1): 谢谢参与
lidihui199227楼
2014-07-27 11:58
回复
liucoo(金币+1): 谢谢参与
祝福
大笨象_hit28楼
2014-07-27 11:59
回复
liucoo(金币+1): 谢谢参与
祝福
JOEF29楼
2014-07-27 11:59
回复
liucoo(金币+1): 谢谢参与
天涯201230楼
2014-07-27 12:05
回复
liucoo(金币+1): 谢谢参与
miaojiabing31楼
2014-07-27 12:06
回复
liucoo(金币+1): 谢谢参与
laom201332楼
2014-07-27 12:07
回复
liucoo(金币+1): 谢谢参与
lhx0055534楼
2014-07-27 12:23
回复
liucoo(金币+1): 谢谢参与
gx
juking35楼
2014-07-27 12:34
回复
liucoo(金币+1): 谢谢参与
DDD
wangyang788736楼
2014-07-27 12:39
回复
liucoo(金币+1): 谢谢参与
唐tjg37楼
2014-07-27 12:49
回复
liucoo(金币+1): 谢谢参与
帅的想整容38楼
2014-07-27 13:10
回复
liucoo(金币+1): 谢谢参与
zhenwuhuang40楼
2014-07-27 13:22
回复
liucoo(金币+1): 谢谢参与
霏凡蕊儿41楼
2014-07-27 13:25
回复
liucoo(金币+1): 谢谢参与
祝福
farkyz42楼
2014-07-27 13:28
回复
liucoo(金币+1): 谢谢参与
shenrenren43楼
2014-07-27 13:53
回复
liucoo(金币+1): 谢谢参与
一页清风44楼
2014-07-27 14:31
回复
liucoo(金币+1): 谢谢参与
wf711080745楼
2014-07-27 15:25
回复
liucoo(金币+1): 谢谢参与
110911030046楼
2014-07-27 15:28
回复
liucoo(金币+1): 谢谢参与
70379450547楼
2014-07-27 17:14
回复
liucoo(金币+1): 谢谢参与
An-yuf48楼
2014-07-27 20:12
回复
liucoo(金币+1): 谢谢参与
cis201449楼
2014-07-27 20:36
回复
liucoo(金币+1): 谢谢参与
flyichen50楼
2014-07-27 20:50
回复
liucoo(金币+1): 谢谢参与
