| 查看: 1868 | 回复: 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日 |
» 猜你喜欢
0854求调剂
已经有9人回复
材料工程专业日语生求调剂
已经有6人回复
071000生物学,一志愿深圳大学296分,求调剂
已经有6人回复
调剂
已经有5人回复
本科郑州大学,一志愿华东师范大学282求调剂
已经有12人回复
一志愿211,化学学硕,310分,本科重点双非,求调剂
已经有8人回复
化工学硕 285求调剂
已经有14人回复
312求调剂
已经有17人回复
生物调剂
已经有6人回复
一志愿哈工大,初试329,求环境科学与工程调剂!
已经有9人回复
» 抢金币啦!回帖就可以得到:
重庆工商大学环境与资源学院/废油资源化技术与装备教育部工程研究中心接收研究生调剂
+5/280
2007年一起玩耍的老虫子们,想死你们啦~~~出来冒个泡吧……
+1/174
淮北师范大学资源与环境硕士研究生调剂名额充足(26人),欢迎调剂。
+2/138
原子层沉积装备18817872921
+1/90
济南大学前沿交叉科学研究院招收2026级调剂生(化学工程085602)
+1/86
延安大学化学与化工学院接收化学专业调剂生(工科、理学均可调剂)
+5/25
【硕士调剂】【分子医学 10医类 最后机会】2026年青岛大学硕士调剂补招
+1/21
UJN物理学专业调剂
+1/18
武汉工程大学化学与环境工程学院2026年硕士研究生调剂公告
+1/13
太原科技大学材料科学与工程学院“03高性能轻质合金及新能源材料”学硕与专硕有缺额
+1/10
22408 360 本科六篇论文 计算机/AI交叉 数模带队两省一 AI竞赛国一
+1/10
现代材料与先进制造团队研究生招收公告
+1/5
河北大学招收生物与医药专业调剂考生
+1/5
IL-4蛋白在肿瘤免疫抑制性骨髓生成中的作用机制研究
+1/4
长江师范学院化学化工学院化学工程方向接收大量调剂考生
+1/4
济南大学2026年硕士研究生招生预调剂公告
+1/4
河南理工大学化学化工学院招收材料、化工类专业调剂研究生
+1/3
海南医科大学智能医学课题组招收生物信息学方向专业硕士研究生!
+1/3
【调剂上岸】985联合培养!1007/1055/08/07等,不限专业,想联培的速来!
+1/2
找好工作来这-广东唯一石化院校——资源与环境专硕招生
+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): 谢谢参与














回复此楼