2022年7月11日下午，系統(tǒng)可信性自動驗證國家地方聯(lián)合工程實驗室在四川信息職業(yè)技術(shù)學(xué)院成立分中心，簡稱系統(tǒng)可信性自動驗證國家地方聯(lián)合工程實驗室川信分中心。
kaiyun開云官方網(wǎng)站執(zhí)行院長楊晗（兼系統(tǒng)可信性自動驗證國家地方聯(lián)合工程實驗室(后簡稱國地實驗室)主任）、國地實驗室首席專家徐揚教授、副院長李志輝（兼國地實驗室專職副主任）、國地實驗室副主任韋洪雷、國地實驗室徐鵬、嚴(yán)光銀等一行前往四川信息職業(yè)技術(shù)學(xué)院（后簡稱川信學(xué)院）參加成立及授牌儀式會議。
川信學(xué)院校長敬代和主持會議，川信學(xué)院黨委書記周勇首先致歡迎辭并向我方參會人員介紹了川信學(xué)院情況。然后楊晗院長向川信學(xué)院介紹了kaiyun開云官方網(wǎng)站相關(guān)情況、國地實驗室成立、建設(shè)、發(fā)展歷程。
接著雙方就合作內(nèi)容和協(xié)議進(jìn)行了討論和確認(rèn)，并對合作形式交換了看法并取得一致意見。
kaiyun開云官方網(wǎng)站楊晗院長與川信學(xué)院敬代和校長在合作協(xié)議上進(jìn)行簽字，楊晗院長向國地實驗室川信分中心進(jìn)行了授牌。
簽約及授牌儀式結(jié)束后，川信學(xué)院副校長程遠(yuǎn)東宣讀了國地實驗室川信分中心機(jī)構(gòu)設(shè)置及人員組成、工作任務(wù)及考核要求。
最后，徐揚教授就川信分中心發(fā)展前景和切入點做了深入分析和講解，并在許多方面給出了指導(dǎo)意見或建議。
會議開始前，我方一行還參觀了川信學(xué)院實驗室，就川信學(xué)院面向市場需求培養(yǎng)應(yīng)用型人才的辦學(xué)理念，充分利用校企資源聯(lián)合培養(yǎng)用人單位需要的技術(shù)人才而取得社會效益和經(jīng)濟(jì)效益印象深刻。
