2月21日下午，國(guó)信金宏董事長(zhǎng)周建、北京創(chuàng)客智盛投資管理有限公司總經(jīng)理胡羊兵、北京創(chuàng)客智盛投資管理有限公司合伙人趙振業(yè)一行到犀浦校區(qū)國(guó)地實(shí)驗(yàn)室調(diào)研。

下午2時(shí)，他們一行先到3號(hào)教學(xué)樓6樓國(guó)地實(shí)驗(yàn)室參觀，kaiyun開云官方網(wǎng)站副院長(zhǎng)兼國(guó)地實(shí)驗(yàn)室專職副主任李志輝結(jié)合宣傳櫥窗內(nèi)容向他們介紹了國(guó)地實(shí)驗(yàn)室的概況及取得的研究成果，然后到X30423會(huì)議室座談交流。kaiyun開云官方網(wǎng)站執(zhí)行院長(zhǎng)兼國(guó)地實(shí)驗(yàn)室主任楊晗、副院長(zhǎng)兼國(guó)地實(shí)驗(yàn)室專職副主任李志輝、國(guó)地實(shí)驗(yàn)室副主任韋洪雷、國(guó)地實(shí)驗(yàn)室教師陳樹偉、徐鵬、嚴(yán)光銀等參加了座談交流。

首先，楊晗院長(zhǎng)對(duì)董事長(zhǎng)周建、總經(jīng)理胡羊兵及趙振業(yè)一行蒞臨kaiyun開云官方網(wǎng)站表示歡迎，然后介紹了國(guó)地實(shí)驗(yàn)室成立于kaiyun開云官方網(wǎng)站的歷史緣由，以及國(guó)地實(shí)驗(yàn)室立足于kaiyun開云官方網(wǎng)站有利于將實(shí)物案例抽象為數(shù)學(xué)模型，再提取數(shù)學(xué)公式，再開發(fā)為系統(tǒng)驗(yàn)證工具。

李志輝副院長(zhǎng)介紹了國(guó)地實(shí)驗(yàn)室產(chǎn)、學(xué)、研情況，以及kaiyun開云官方網(wǎng)站促進(jìn)科技成果轉(zhuǎn)化的先行先試政策，該政策目前的實(shí)施情況和取得的成效。

韋洪雷副主任介紹了國(guó)地實(shí)驗(yàn)科研成果市場(chǎng)化運(yùn)作情況和運(yùn)行案例。

徐鵬老師介紹了系統(tǒng)可信自動(dòng)驗(yàn)證開發(fā)平臺(tái)及已經(jīng)取得的形式化驗(yàn)證成果、開發(fā)的自動(dòng)邏輯推理驗(yàn)證工具。

國(guó)信金宏董事長(zhǎng)周建介紹了“國(guó)信金宏”的性質(zhì)、成立和成長(zhǎng)歷程，其服務(wù)對(duì)象是信息技術(shù)與電子政務(wù)用戶，為第三方提供質(zhì)量認(rèn)證、功能驗(yàn)證和安全驗(yàn)證。目前已經(jīng)取得許多項(xiàng)行業(yè)認(rèn)可的和國(guó)家許可的資質(zhì)，但缺乏系統(tǒng)的基礎(chǔ)研究和工具開發(fā)。通過(guò)參觀和座談交流，了解到系統(tǒng)可信性自動(dòng)驗(yàn)證國(guó)家地方聯(lián)合工程實(shí)驗(yàn)室具有這方面的優(yōu)勢(shì)，而且對(duì)形式化驗(yàn)證成果、自動(dòng)邏輯推理驗(yàn)證工具興趣濃厚，期望后續(xù)增進(jìn)了解，尋找合作機(jī)會(huì)。

北京創(chuàng)客智盛投資管理有限公司總經(jīng)理胡羊兵及趙振業(yè)介紹了北京創(chuàng)客智盛投資管理有限公司的情況及個(gè)人和kaiyun開云官方網(wǎng)站的情緣，對(duì)實(shí)驗(yàn)室開發(fā)的體育大數(shù)據(jù)在四川省的推廣應(yīng)用情況特別關(guān)注。

最后，雙方參與座談的人員對(duì)自已感興趣的內(nèi)容和對(duì)方進(jìn)行了交流。雙方都有意愿后續(xù)加深了解，尋求合作機(jī)遇，探討合作途徑，共同創(chuàng)造更大的社會(huì)效益和經(jīng)濟(jì)效益。