重慶大學| 主頁焦點| 主頁推薦| 網站地圖| 使用幫助 RSS 我要投稿

首屆CCF中國軟件大會(2020 CCF Chinasoft)在重慶大學召開

摘要
首屆CCF中國軟件大會(2020 CCF Chinasoft)於2020年11月20日~22日在重慶大學召開。會議由中國計算機學會主辦,重慶大學、CCF軟件工程專委會、CCF系統軟件專委會、CCF形式化方法專委會共同承辦。

首屆CCF中國軟件大會(2020 CCF Chinasoft)於2020年11月20日~22日在重慶大學召開。會議由中國計算機學會主辦,重慶大學、CCF軟件工程專委會、CCF系統軟件專委會、CCF形式化方法專委會共同承辦。

1-CCF中國軟件大會.jpg

大會榮譽主席、中國科學院院士、中國計算機學會理事長、軍事科學院副院長梅宏,重慶大學黨委書記舒立春,大會共同主席、中國計算機學會形式化方法專委主任、國防科技大學王戟,重慶市經濟和信息化委員會黨組成員、總工程師趙剛分別致辭。中國科學院院士、中科院軟件所林惠民研究員,中國科學院院士、國防科技大學王懷民,中國計算機學會常務理事、清華大學史元春出席。大會開幕式由重慶大學副校長、大數據與軟件學院院長(兼)王時龍主持。

2-王時龍副校長主持.jpg

本次大會受到了行業內相關人士的廣泛關注,線上線下參會4200餘人。其中,來自國內部分高校、科研機構、企事業單位的1500餘人參加了線下會議,超過2700人通過騰訊會議、Bilibili等直播平台參加線上會議。大會共收到195篇論文及競賽作品投稿,經過183位評審專家按相關流程評審,推薦了85篇到會報告。

3-CCF中國軟件大會現場.jpg

梅宏代表中國計算機學會對首屆CCF中國軟件大會在重慶順利召開表示祝賀。他指出,首屆CCF中國軟件大會將全國軟件與應用學術會議(NASAC)、全國形式化方法與應用會議(FMAC)聯合舉辦,CCF軟件工程專委會、CCF系統軟件專委會、CCF形式化方法專委會覆蓋了軟件學科的絕大部分領域,擴大了會議的影響力,也更加符合數字時代的要求,在提高軟件開發效益、提升軟件質量等方面有不可忽視的積極作用。同時,他表達了對未來中國軟件大會的期望,希望通過中國軟件大會的形式,在“軟件定義一切”的時代彙集所有軟件領域的同行,提供給大家交流的機會,為軟件學科、軟件產業的發展做出新的貢獻。

4-梅宏院士致辭.jpg

舒立春代表重慶大學對本次大會的召開表示熱烈的祝賀,向長期關心支持學校發展的各位領導、專家、嘉賓表示感謝。他簡要介紹了重慶大學辦學特色和人才引進政策以及大數據與軟件學院的學科特色、發展現狀和未來機遇。他指出,本次大會水平高、規格高,為我校創造了與軟件領域專家學者難得的學習交流機會,促進了學校相關學科領域的發展。他強調,學校正聚力支持建設國家特色化示範性軟件學院,希望藉此學術盛會促進學校與國內外一流高等院校、科研機構和專家團隊開展更加廣泛的交流與合作,同時向廣大參會學者發出邀請,希望他們來重慶大學工作學習。

5-舒立春書記致辭.jpg

王戟代表CCF軟件工程專委會、CCF系統軟件專委會、CCF形式化方法專委會致辭。他指出,軟件已經成為信息化時代人類文明的載體,人類文明運行在軟件之上,推動人類社會信息化進入智能化新階段。人、機、物融合的時代正在開啓,計算無處不在、軟件定義一切,現在比任何時代都更加重視軟件,牢固軟件發展的優勢地位。他強調,在這個新時代中,軟件發展面臨着新的機遇與挑戰,人們對軟件也有着更大的期待,希望CCF軟件工程專委會、系統軟件專委會和形式化方法專委會共同攜手,推進實現中國軟件創新。

6-王戟教授致辭.jpg

趙剛在致辭中談到,在習近平總書記對重慶提出的堅持“兩點”定位,“兩地”、“兩高”目標,發揮“三個作用”和推動成渝地區雙城經濟圈建設等重要指示下,伴隨以軟件技術演進和產品創新為代表的新一輪科技革命與產業變革蓄勢待發,“軟件定義世界”正形成共識,這為科技創新和經濟社會發展帶來新的機遇和挑戰。重慶正推進大數據智能化發展戰略,加快數字產業化、產業數字化步伐,構建形成了利於軟件產業加速發展的基礎優勢、市場優勢、人才優勢以及環境優勢。他指出,此次中國軟件大會提供了寶貴的交流平台,希望各位專家和學者為重慶軟件產業發展建言獻策。

7-趙剛致辭.jpg

大會共同主席、重慶大學大數據與軟件學院黨委書記文俊浩對本次大會的組織情況和會議安排進行了介紹。本次大會由全國軟件與應用學術會議與全國形式化方法與應用會議兩大會議有機組成,會議為期三天,包括軟件學科學術研討會、軟件學科教育研討會、軟件工程和系統軟件工業論壇、競賽論壇4大類共33個平行論壇;邀請來自中國科學院和中國工程院的7位院士,以及學術界和工業界領域的代表出席會議。會議論文通過軟件學報、計算機學報、計算機研究與發展等聯合徵稿。

8-文俊浩介紹大會情況.jpg

開幕式後,北京大學謝濤教授、華為王千祥老師分別主持特邀報告環節,兩位嘉賓進行了分享。王懷民作了題為“分佈計算2.0:基於網絡的聯接計算”的特邀報告。分佈計算的發展大致分為以計算機為中心的第一個台階、以網絡為中心的第二個台階和以人為中心的第三個台階,此次報告立足於分佈計算的第二個台階,討論聯接計算關注的基本問題,介紹了在大規模網絡化軟件資源、計算資源與智力資源的高效互聯與匯聚等方面的工作實踐,並在最後提出了對未來發展的思考。

9-王懷民院士報告.jpg

華為雲應用平台產品部副總裁談宗瑋作了主題為“可信軟件的研發平台建設與探索”的分享。在數字化社會,網絡信息安全對社會、企業、個人帶來巨大挑戰,如何在提供數字化產品的同時保障軟件研發過程的可信與安全,成為當前軟件研發的巨大挑戰。報告探討了如何從端到端的角度開展可信軟件的設計、編碼、構建、測試、發佈部署等活動,如何在統一的協同管理下有序、可信地交付給客户,並介紹了華為公司在相關方向的理論研究、技術體系構建與研發平台等方面的工作與階段性成果。

10-華為談宗瑋報告.jpg

與會代表表示,本次大會結合國家戰略需求,彙集了軟件工程領域中學術界與工業界的眾多傑出代表,產生豐富多樣的學術與行業交流,對推動國家軟件創新、引領行業發展產生積極的推動作用。


閲讀 : 0