liucoo

銅蟲 (小有名氣)

應(yīng)助: 0 (幼兒園)
金幣: 26.2
帖子: 58
在線: 20.5小時(shí)
蟲號(hào): 2312122

[交流] 2014可信軟件系統(tǒng)工程（國(guó)際）暑期學(xué)校

會(huì)議城市:

重慶

截稿日期:

2014年8月24日

網(wǎng)址及報(bào)名地址：http://agentlab.swu.edu.cn/summerschool
地點(diǎn): 西南大學(xué), 重慶北碚
主辦單位：西南大學(xué)
合作單位：英國(guó)伯明翰城市大學(xué)
支持機(jī)構(gòu)：CCF YOCSEF重慶分論壇、CCF西南大學(xué)學(xué)生分會(huì)

可信軟件系統(tǒng)工程（國(guó)際）暑期學(xué)校由西南大學(xué)計(jì)算機(jī)與信息科學(xué)學(xué)院、英國(guó)伯明翰城市大學(xué)軟件工程中心共同舉辦。本屆暑期學(xué)校將邀請(qǐng)9位國(guó)內(nèi)外的領(lǐng)域?qū)＜�，以專題講座、學(xué)術(shù)沙龍、互動(dòng)交流等形式，為學(xué)員介紹計(jì)算機(jī)軟件系統(tǒng)工程最前沿的軟件工程方法、技術(shù)和實(shí)用性工具。
暑期學(xué)校面向全國(guó)招生，國(guó)內(nèi)各大院校和研究院所中相關(guān)專業(yè)的在校碩士、博士研究生、青年教師、相關(guān)專業(yè)研究人員均可申請(qǐng)，同時(shí)可接受少量對(duì)可視化領(lǐng)域有濃厚興趣的優(yōu)秀高年級(jí)本科生。

專題講座特邀講者及講座題目
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

部分學(xué)術(shù)沙龍?zhí)匮v者及講座題目
詹乃軍教授（中國(guó)科學(xué)院軟件研究所）：
Formal Verification of Simulink/Stateflow Diagram
馮新宇教授（中國(guó)科學(xué)技術(shù)大學(xué)）
Compositional Verification of Termination-Preserving Refinement of Concurrent Programs

課程日期：2014年9月8日-13日
申請(qǐng)注冊(cè)　申請(qǐng)截至日期: 2014年8月24日

回復(fù)此樓

» 猜你喜歡

303求調(diào)劑已經(jīng)有3人回復(fù)
有沒有道鐵/土木的想調(diào)劑南林，給自己招師弟中～已經(jīng)有7人回復(fù)
梁成偉老師課題組歡迎你的加入已經(jīng)有10人回復(fù)
一志愿蘇州大學(xué)材料工程（085601）專碩有科研經(jīng)歷三項(xiàng)國(guó)獎(jiǎng)兩個(gè)實(shí)用型專利一項(xiàng)省級(jí)立項(xiàng) 已經(jīng)有8人回復(fù)
070300化學(xué)319求調(diào)劑已經(jīng)有3人回復(fù)
一志愿天津大學(xué)化學(xué)工藝專業(yè)（081702）315分求調(diào)劑已經(jīng)有4人回復(fù)
268求調(diào)劑已經(jīng)有7人回復(fù)
290求調(diào)劑已經(jīng)有11人回復(fù)
材料與化工求調(diào)劑已經(jīng)有4人回復(fù)
293求調(diào)劑已經(jīng)有11人回復(fù)

» 搶金幣啦！回帖就可以得到:

查看全部散金貼

1樓 2014-07-25 08:35:16

已閱回復(fù)此樓關(guān)注TA 給TA發(fā)消息送TA紅花 TA的回帖

seeforme

新蟲 (知名作家)

應(yīng)助: 0 (幼兒園)
金幣: 5260.9
帖子: 9884
在線: 94.6小時(shí)
蟲號(hào): 2511033

★
liucoo(金幣+1): 謝謝參與

Best wishes

回復(fù)此樓

5樓2014-07-27 08:18:13

已閱回復(fù)此樓關(guān)注TA 給TA發(fā)消息送TA紅花 TA的回帖

heibi

金蟲 (文壇精英)

應(yīng)助: 0 (幼兒園)
金幣: 8104.4
帖子: 11135
在線: 88.2小時(shí)
蟲號(hào): 1698988

★
liucoo(金幣+1): 謝謝參與

愿樓主心想事成

回復(fù)此樓

6樓2014-07-27 08:18:13

已閱回復(fù)此樓關(guān)注TA 給TA發(fā)消息送TA紅花 TA的回帖

fakebook

木蟲 (文壇精英)

應(yīng)助: 0 (幼兒園)
金幣: 5390.6
帖子: 11657
在線: 106.6小時(shí)
蟲號(hào): 1698618

★
liucoo(金幣+1): 謝謝參與

愿樓主心想事成

回復(fù)此樓

8樓2014-07-27 08:19:13

已閱回復(fù)此樓關(guān)注TA 給TA發(fā)消息送TA紅花 TA的回帖

niu.bi

木蟲 (文壇精英)

應(yīng)助: 0 (幼兒園)
金幣: 4058.7
帖子: 11433
在線: 103.3小時(shí)
蟲號(hào): 1705439

★
liucoo(金幣+1): 謝謝參與

Best wishes

回復(fù)此樓

9樓2014-07-27 08:19:21

已閱回復(fù)此樓關(guān)注TA 給TA發(fā)消息送TA紅花 TA的回帖

棒子老虎雞

新蟲 (小有名氣)

應(yīng)助: 0 (幼兒園)
金幣: 294.4
帖子: 282
在線: 28.3小時(shí)
蟲號(hào): 3333748

★
liucoo(金幣+1): 謝謝參與

頂貼！

回復(fù)此樓

23樓2014-07-27 11:00:00

已閱回復(fù)此樓關(guān)注TA 給TA發(fā)消息送TA紅花 TA的回帖

zjnldx

木蟲 (職業(yè)作家)

應(yīng)助: 74 (初中生)
金幣: 9295.3
帖子: 3646
在線: 361.7小時(shí)
蟲號(hào): 1289741

★
liucoo(金幣+1): 謝謝參與

祝賀樓主！也為自己祈福！

贊一下

回復(fù)此樓

24樓2014-07-27 11:19:29

已閱回復(fù)此樓關(guān)注TA 給TA發(fā)消息送TA紅花 TA的回帖

sjnr

禁言 (職業(yè)作家)

★
liucoo(金幣+1): 謝謝參與

本帖內(nèi)容被屏蔽

26樓2014-07-27 11:36:32

已閱回復(fù)此樓關(guān)注TA 給TA發(fā)消息送TA紅花 TA的回帖

checkin

銀蟲 (知名作家)

應(yīng)助: 0 (幼兒園)
金幣: 3995.4
帖子: 9332
在線: 75.3小時(shí)
蟲號(hào): 2511009

★
liucoo(金幣+1): 謝謝參與

愿樓主心想事成

回復(fù)此樓

33樓2014-07-27 12:18:25

已閱回復(fù)此樓關(guān)注TA 給TA發(fā)消息送TA紅花 TA的回帖

SEEE

捐助貴賓 (著名寫手)

應(yīng)助: 0 (幼兒園)
金幣: 2.4
帖子: 2103
在線: 30.9小時(shí)
蟲號(hào): 3192305

★
liucoo(金幣+1): 謝謝參與

支持，祝您幸福

回復(fù)此樓

39樓2014-07-27 13:21:21

已閱回復(fù)此樓關(guān)注TA 給TA發(fā)消息送TA紅花 TA的回帖

簡(jiǎn)單回復(fù)

費(fèi)姚永芬2樓

2014-07-25 08:36 回復(fù)

liucoo(金幣+1): 謝謝參與

nono20093樓

2014-07-25 08:45 回復(fù)

liucoo(金幣+1): 謝謝參與

ultrav6314樓

2014-07-27 07:58 回復(fù)

liucoo(金幣+1): 謝謝參與

guanlianwu7樓

2014-07-27 08:18 回復(fù)

liucoo(金幣+1): 謝謝參與

happychz10樓

2014-07-27 08:20 回復(fù)

liucoo(金幣+1): 謝謝參與

SCIxiang11樓

2014-07-27 08:32 回復(fù)

liucoo(金幣+1): 謝謝參與

yuanyeguhong12樓

2014-07-27 08:37 回復(fù)

liucoo(金幣+1): 謝謝參與

cxjzly200813樓

2014-07-27 08:43 回復(fù)

liucoo(金幣+1): 謝謝參與

bj200898914樓

2014-07-27 08:51 回復(fù)

liucoo(金幣+1): 謝謝參與

xunitiankong15樓

2014-07-27 09:02 回復(fù)

liucoo(金幣+1): 謝謝參與

Jameskelly16樓

2014-07-27 09:02 回復(fù)

liucoo(金幣+1): 謝謝參與

祝福

小王二丫17樓

2014-07-27 09:03 回復(fù)

liucoo(金幣+1): 謝謝參與

mxrnju18樓

2014-07-27 09:08 回復(fù)

liucoo(金幣+1): 謝謝參與

sighthill19樓

2014-07-27 09:09 回復(fù)

liucoo(金幣+1): 謝謝參與

祝福

stirith20樓

2014-07-27 09:23 回復(fù)

liucoo(金幣+1): 謝謝參與

springburn21樓

2014-07-27 10:55 回復(fù)

liucoo(金幣+1): 謝謝參與

祝福

kiss2008553722樓

2014-07-27 10:57 回復(fù)

liucoo(金幣+1): 謝謝參與

焦衛(wèi)紅25樓

2014-07-27 11:24 回復(fù)

liucoo(金幣+1): 謝謝參與

lidihui199227樓

2014-07-27 11:58 回復(fù)

liucoo(金幣+1): 謝謝參與

祝福

大笨象_hit28樓

2014-07-27 11:59 回復(fù)

liucoo(金幣+1): 謝謝參與

祝福

JOEF29樓

2014-07-27 11:59 回復(fù)

liucoo(金幣+1): 謝謝參與

天涯201230樓

2014-07-27 12:05 回復(fù)

liucoo(金幣+1): 謝謝參與

miaojiabing31樓

2014-07-27 12:06 回復(fù)

liucoo(金幣+1): 謝謝參與

laom201332樓

2014-07-27 12:07 回復(fù)

liucoo(金幣+1): 謝謝參與

lhx0055534樓

2014-07-27 12:23 回復(fù)

liucoo(金幣+1): 謝謝參與

juking35樓

2014-07-27 12:34 回復(fù)

liucoo(金幣+1): 謝謝參與

DDD

wangyang788736樓

2014-07-27 12:39 回復(fù)

liucoo(金幣+1): 謝謝參與

唐tjg37樓

2014-07-27 12:49 回復(fù)

liucoo(金幣+1): 謝謝參與

帥的想整容38樓

2014-07-27 13:10 回復(fù)

liucoo(金幣+1): 謝謝參與

zhenwuhuang40樓

2014-07-27 13:22 回復(fù)

liucoo(金幣+1): 謝謝參與

霏凡蕊兒41樓

2014-07-27 13:25 回復(fù)

liucoo(金幣+1): 謝謝參與

祝福

farkyz42樓

2014-07-27 13:28 回復(fù)

liucoo(金幣+1): 謝謝參與

shenrenren43樓

2014-07-27 13:53 回復(fù)

liucoo(金幣+1): 謝謝參與

一頁(yè)清風(fēng)44樓

2014-07-27 14:31 回復(fù)

liucoo(金幣+1): 謝謝參與

wf711080745樓

2014-07-27 15:25 回復(fù)

liucoo(金幣+1): 謝謝參與

110911030046樓

2014-07-27 15:28 回復(fù)

liucoo(金幣+1): 謝謝參與

70379450547樓

2014-07-27 17:14 回復(fù)

liucoo(金幣+1): 謝謝參與

An-yuf48樓

2014-07-27 20:12 回復(fù)

liucoo(金幣+1): 謝謝參與

cis201449樓

2014-07-27 20:36 回復(fù)

liucoo(金幣+1): 謝謝參與

flyichen50樓

2014-07-27 20:50 回復(fù)

liucoo(金幣+1): 謝謝參與

最具人氣熱帖推薦 [查看全部]	作者	回/看	最后發(fā)表

[考研] 070300化學(xué)319求調(diào)劑 +3	錦鯉0909 2026-03-17	3/150	2026-03-17 15:01 by 我的船我的海
[考研] 材料工程專碩274一志愿211求調(diào)劑 +6	薛云鵬 2026-03-15	6/300	2026-03-17 11:05 by 學(xué)員h26Tkc
[考研] 289求調(diào)劑 +6	步川酷紫123 2026-03-11	6/300	2026-03-17 10:23 by Sammy2
[考研] 一志愿985，本科211，0817化學(xué)工程與技術(shù)319求調(diào)劑 +5	Liwangman 2026-03-15	5/250	2026-03-16 17:10 by 我的船我的海
[考研] 304求調(diào)劑 +3	曼殊2266 2026-03-14	3/150	2026-03-16 16:39 by houyaoxu
[考研] 311求調(diào)劑 +5	26研0 2026-03-15	5/250	2026-03-16 16:21 by a不易
[考研] 中科院材料273求調(diào)劑 +4	yzydy 2026-03-15	4/200	2026-03-16 15:59 by Gaodh_82
[考研] 0703化學(xué)調(diào)劑 290分有科研經(jīng)歷，論文在投 +7	膩膩gk 2026-03-14	7/350	2026-03-16 10:12 by houyaoxu
[考研] 本科南京大學(xué)一志愿川大藥學(xué)327 +3	麥田耕者 2026-03-14	3/150	2026-03-14 20:04 by 外星文明
[考研] 255求調(diào)劑 +3	李嘉慧， 2026-03-12	4/200	2026-03-14 16:58 by 有只貍奴
[考研] 材料080500調(diào)劑求收留 +3	一顆meteor 2026-03-13	3/150	2026-03-14 10:54 by peike
[考研] 0805，333求調(diào)劑 +3	112253525 2026-03-10	3/150	2026-03-13 23:42 by JourneyLucky
[考研] 341求調(diào)劑 +4	番茄頭--- 2026-03-10	4/200	2026-03-13 23:12 by JourneyLucky
[考研] 0703，333分求調(diào)劑一志愿鄭州大學(xué)-物理化學(xué) +3	李魔女斗篷 2026-03-11	3/150	2026-03-13 22:24 by JourneyLucky
[考研] 材料工程調(diào)劑 +9	咪咪空空 2026-03-12	9/450	2026-03-13 22:05 by 星空星月
[考研] 求材料調(diào)劑 085600英一數(shù)二總分302 前三科235 精通機(jī)器學(xué)習(xí) 一志愿哈工大 +4	林yaxin 2026-03-12	4/200	2026-03-13 22:04 by 星空星月
[考研] 328化工專碩求調(diào)劑 +4	。，。，。，。i 2026-03-12	4/200	2026-03-13 14:44 by JourneyLucky
[考研] 277求調(diào)劑 +4	anchor17 2026-03-12	4/200	2026-03-13 11:15 by 白夜悠長(zhǎng)
[考研] 290求調(diào)劑 +3	柯淮然 2026-03-10	8/400	2026-03-11 13:48 by 柯淮然
[考研] 279求調(diào)劑 +3	莫xiao 2026-03-10	4/200	2026-03-11 08:06 by 斬魂滴兔子！