日本在线免费小视频网站_无码AV最新无码高清专区_在线欧美2222_在线欧美2222

国产成人亚洲欧美91_在线看片免费人成视频丨_久久免費视频精品_在线观看网站深夜免费A√

加快打造原始創(chuàng)新策源地，加快突破關(guān)鍵核心技術(shù)，努力搶占科技制高點(diǎn)，為把我國建設(shè)成為世界科技強(qiáng)國作出新的更大的貢獻(xiàn)。

——習(xí)近平總書記在致中國科學(xué)院建院70周年賀信中作出的“兩加快一努力”重要指示要求

面向世界科技前沿、面向經(jīng)濟(jì)主戰(zhàn)場、面向國家重大需求、面向人民生命健康，率先實(shí)現(xiàn)科學(xué)技術(shù)跨越發(fā)展，率先建成國家創(chuàng)新人才高地，率先建成國家高水平科技智庫，率先建設(shè)國際一流科研機(jī)構(gòu)。

——中國科學(xué)院辦院方針

首頁 > 傳媒掃描

【中國科學(xué)報(bào)】并發(fā)理論與形式化驗(yàn)證聯(lián)合大會(huì)召開

2018-09-10 中國科學(xué)報(bào) 沈春蕾

【字體：大中小】

語音播報(bào)

　　9月4日，并發(fā)理論與形式化驗(yàn)證聯(lián)合大會(huì)（CONFESTA 2018）在中國科學(xué)院大學(xué)舉行。本次會(huì)議由中國科學(xué)院軟件研究所計(jì)算機(jī)國家重點(diǎn)實(shí)驗(yàn)室承辦，邀請了來自中、德、法、美、英、意等25個(gè)國家和地區(qū)的260余名專家學(xué)者參加。美國計(jì)算機(jī)協(xié)會(huì)會(huì)士、歐洲科學(xué)院院士Moshe Vardi等計(jì)算機(jī)及軟件領(lǐng)域國內(nèi)外知名科學(xué)家為大會(huì)作報(bào)告。

　　中國科學(xué)院院士、中國科學(xué)院軟件所研究員林惠民作為大會(huì)主席致會(huì)議開幕詞。林惠民介紹了中國科學(xué)院、中國科學(xué)院大學(xué)、計(jì)算機(jī)國家重點(diǎn)實(shí)驗(yàn)室的概況。

　　據(jù)悉，并發(fā)理論與形式化驗(yàn)證聯(lián)合大會(huì)是以并發(fā)理論和形式化驗(yàn)證為主題的聯(lián)合大會(huì)，包括4個(gè)國際會(huì)議、4個(gè)研討會(huì)、2個(gè)講習(xí)班和1個(gè)暑期班。與會(huì)學(xué)者們重點(diǎn)圍繞并發(fā)系統(tǒng)的基本模型、形式化方法中的數(shù)理邏輯、驗(yàn)證和分析技術(shù)、分布式算法和數(shù)據(jù)結(jié)構(gòu)、并發(fā)系統(tǒng)的編程、分析和驗(yàn)證工具、信息物融合系統(tǒng)等議題展開探討，共同交流，并分享最新研究成果及關(guān)鍵問題，為并發(fā)理論與形式化驗(yàn)證領(lǐng)域的發(fā)展應(yīng)用建言獻(xiàn)策。

　?。ㄔd于《中國科學(xué)報(bào)》 2018-09-10 第5版創(chuàng)新周刊)

打印