应《网络安全法》要求，自2017年10月1日起，未进行实名认证将不得使用互联网跟帖服务。为保障您的帐号能够正常使用，请尽快对帐号进行手机号验证，感谢您的理解与支持！

24小时热门版块排行榜    

小木虫论坛-学术科研互动平台 » 学术交流区 » 学术会议 » 讨论咨询 » 2014可信软件系统工程（国际）暑期学校
521/2返回列表12下一页
查看: 1830  |  回复: 51
只看楼主 @他人 存档 新回复提醒 (忽略) 收藏    在APP中查看

liucoo

铜虫 (小有名气)

[交流] 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日
回复此楼

» 猜你喜欢

» 抢金币啦！回帖就可以得到:

查看全部散金贴
1楼 2014-07-25 08:35:16
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

seeforme

新虫 (知名作家)
★
liucoo(金币+1): 谢谢参与
Best wishes
回复此楼
5楼2014-07-27 08:18:13
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

heibi

金虫 (文坛精英)
★
liucoo(金币+1): 谢谢参与
愿楼主心想事成
回复此楼
6楼2014-07-27 08:18:13
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

fakebook

木虫 (文坛精英)
★
liucoo(金币+1): 谢谢参与
愿楼主心想事成
回复此楼
8楼2014-07-27 08:19:13
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

niu.bi

木虫 (文坛精英)
★
liucoo(金币+1): 谢谢参与
Best wishes
回复此楼
9楼2014-07-27 08:19:21
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

棒子老虎鸡

新虫 (小有名气)
★
liucoo(金币+1): 谢谢参与
顶贴！
回复此楼
23楼2014-07-27 11:00:00
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

zjnldx

木虫 (职业作家)
★
liucoo(金币+1): 谢谢参与
祝贺楼主！也为自己祈福！
赞一下 回复此楼
24楼2014-07-27 11:19:29
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

sjnr

禁言 (职业作家)
★
liucoo(金币+1): 谢谢参与
本帖内容被屏蔽
26楼2014-07-27 11:36:32
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

checkin

银虫 (知名作家)
★
liucoo(金币+1): 谢谢参与
愿楼主心想事成
回复此楼
33楼2014-07-27 12:18:25
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

SEEE

捐助贵宾 (著名写手)
★
liucoo(金币+1): 谢谢参与
支持，祝您幸福
回复此楼
39楼2014-07-27 13:21:21
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
简单回复
费姚永芬2楼
2014-07-25 08:36   回复  
liucoo(金币+1): 谢谢参与
nono20093楼
2014-07-25 08:45   回复  
liucoo(金币+1): 谢谢参与
·
ultrav6314楼
2014-07-27 07:58   回复  
liucoo(金币+1): 谢谢参与
guanlianwu7楼
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): 谢谢参与
相关版块跳转 我要订阅楼主 liucoo 的主题更新
521/2返回列表12下一页
普通表情 龙 兔 虎 猫 高级回复 (可上传附件)
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[考研] 梁成伟老师课题组欢迎你的加入 +9 一鸭鸭哟 2026-03-14 11/550 2026-03-19 17:22 by ！本暗一次！
[考研] 【考研调剂】化学专业 281分，一志愿四川大学，诚心求调剂 +5 吃吃吃才有意义 2026-03-19 5/250 2026-03-19 16:18 by 30660438
[考研] 307求调剂 +6 冷笙123 2026-03-17 6/300 2026-03-19 15:14 by peike
[考研] 材料与化工求调剂 +7 为学666 2026-03-16 7/350 2026-03-19 14:48 by 尽舜尧1
[考研] 0817 化学工程 299分求调剂 有科研经历 有二区文章 +12 rare12345 2026-03-18 12/600 2026-03-19 14:41 by peike
[考研] 324分 085600材料化工求调剂 +3 llllkkkhh 2026-03-18 3/150 2026-03-19 14:22 by houyaoxu
[考研] 材料080500调剂求收留 +4 一颗meteor 2026-03-13 4/200 2026-03-19 10:32 by 30660438
[考研] 332求调剂 +3 ydfyh 2026-03-17 3/150 2026-03-19 10:14 by 功夫疯狂
[考研] 085410人工智能专硕317求调剂（0854都可以） +3 xbxudjdn 2026-03-18 3/150 2026-03-18 22:14 by zhq0425
[考研] 085600材料与化工 +5 安全上岸！ 2026-03-16 5/250 2026-03-18 15:33 by cmz0325
[考研] 0854可跨调剂，一作一项核心论文五项专利，省、国级证书40+数一英一287 +8 小李0854 2026-03-16 8/400 2026-03-18 14:35 by 搏击518
[考研] 收复试调剂生 +4 雨后秋荷 2026-03-18 4/200 2026-03-18 14:16 by elevennnne
[考研] 268求调剂 +6 简单点0 2026-03-17 6/300 2026-03-18 09:04 by 无际的草原
[考研] 278求调剂 +5 烟火先于春 2026-03-17 5/250 2026-03-18 08:43 by 星空星月
[考研] 268求调剂 +7 好运连绵不绝 2026-03-12 8/400 2026-03-17 20:28 by xilongliang
[考研] 283求调剂 +3 听风就是雨； 2026-03-16 3/150 2026-03-17 07:41 by 热情沙漠
[考研] 0854控制工程 359求调剂 可跨专业 +3 626776879 2026-03-14 9/450 2026-03-16 17:42 by 626776879
[考研] 304求调剂 +5 素年祭语 2026-03-15 5/250 2026-03-16 17:00 by 我的船我的海
[基金申请] 现在如何回避去年的某一个专家，不知道名字 +3 zk200107 2026-03-12 6/300 2026-03-14 17:13 by zk200107
[考研] ［0860］321分求调剂，ab区皆可 +4 宝贵热 2026-03-13 4/200 2026-03-13 22:01 by 星空星月
信息提示
关闭
请填处理意见
关闭