各位同學(xué)、老師：
為了促進(jìn)嵌入式軟件技術(shù)與人工智能技術(shù)的融合發(fā)展，深化新工科軟件工程理論技術(shù)內(nèi)涵，提升特色化示范性軟件學(xué)院的課程體系建設(shè)水平，助力區(qū)域經(jīng)濟(jì)發(fā)展和產(chǎn)業(yè)創(chuàng)新能力提升，由西北工業(yè)大學(xué)軟件學(xué)院引進(jìn)的高層次人才劉志明教授牽頭，建設(shè)成立了“智能嵌入式軟件研究中心”（Center for Intelligent and Embedded Software, CiES）。中心依托西北工業(yè)大學(xué)軟件學(xué)院和陜西省嵌入式系統(tǒng)技術(shù)重點(diǎn)實(shí)驗(yàn)室的師資隊(duì)伍和科學(xué)研究力量，立足于長(zhǎng)三角的區(qū)域優(yōu)勢(shì)，面向我國(guó)裝備嵌入式技術(shù)智能化升級(jí)的國(guó)家產(chǎn)業(yè)發(fā)展需求，研究智能化嵌入式軟件理論、新產(chǎn)品研發(fā)技術(shù)和知識(shí)產(chǎn)權(quán)服務(wù)體系等，助力區(qū)域創(chuàng)新體系建設(shè)和國(guó)家經(jīng)濟(jì)社會(huì)發(fā)展。
本著海納百川、共謀發(fā)展的中心創(chuàng)建理念，為加強(qiáng)國(guó)內(nèi)該領(lǐng)域同行的學(xué)術(shù)交流，中心定于2021年4月26日—27日在江蘇省蘇州市西北工業(yè)大學(xué)太倉(cāng)長(zhǎng)三角研究院召開(kāi)中心成立儀式暨智能嵌入式軟件學(xué)術(shù)研討會(huì)(Colloquium on Intelligent and Embedded Software，CiES2021)。
本次活動(dòng)由西北工業(yè)大學(xué)軟件學(xué)院和西北工業(yè)大學(xué)長(zhǎng)三角研究院聯(lián)合主辦。
會(huì)議議程
第一階段：智能嵌入式軟件研究中心成立儀式
日期 |
時(shí)間 |
內(nèi)容 |
主持人 |
地點(diǎn) |
4月26日 上午 |
9:30-9:35 |
介紹與會(huì)領(lǐng)導(dǎo)及來(lái)賓 |
鄭江濱 |
西工大長(zhǎng)三角 研究院1號(hào)樓 三層308室 |
9:35-9:40 |
西工大校領(lǐng)導(dǎo)致辭 |
9:40-9:45 |
太倉(cāng)市政府領(lǐng)導(dǎo)致辭 |
9:45-9:50 |
中心揭牌 |
9:50-9:55 |
宣讀學(xué)術(shù)委員會(huì)名單 |
9:55-10:00 |
頒發(fā)學(xué)術(shù)委員會(huì)聘書(shū) |
10:00-10:15 |
合影 |
10:15-10:30 |
茶歇 |
10:30-12:00 |
學(xué)術(shù)委員會(huì)會(huì)議 |
楊孟飛 |
西工大長(zhǎng)三角 研究院1號(hào)樓 三層303室 |
第二階段：智能嵌入式軟件學(xué)術(shù)研討會(huì)
日期/地點(diǎn) 主持人 |
時(shí)間 |
內(nèi)容 |
4月26日 上午 西工大長(zhǎng)三角 研究院1號(hào)樓 三層308室 段振華 教授 |
10:30-11:10 |
報(bào)告人：謝濤（北京大學(xué)） 題目：從智能化軟件工程到可信軟件自動(dòng)化 |
11:10-11:35 |
報(bào)告人：張立軍（中科院軟件所） 題目：基于蒙特卡洛Buechi自動(dòng)機(jī)語(yǔ)言非包含算法 |
11:35-12:00 |
報(bào)告人：江賀（大連理工大學(xué)） 題目：編譯器優(yōu)化與測(cè)試 |
4月26日 中午 |
12:00-13:00 |
自助午餐 （地點(diǎn)：西工大長(zhǎng)三角研究院6號(hào)樓三層餐廳） |
13:00-13:30 |
參觀(guān)西工大長(zhǎng)三角研究院、太倉(cāng)校區(qū)展廳 （西工大長(zhǎng)三角研究院1號(hào)樓一層大廳） |
4月26日 下午 西工大長(zhǎng)三角 研究院1號(hào)樓 二層203室 傅育熙 教授 毛曉光 教授 |
13:30-13:55 |
報(bào)告人：郭耀（北京大學(xué)） 題目：移動(dòng)應(yīng)用生態(tài)系統(tǒng)安全分析 |
13:55-14:20 |
報(bào)告人：劉世霞（清華大學(xué)） 題目：基于可視分析的可解釋人工智能技術(shù) |
14:20-14:45 |
報(bào)告人：王千祥（華為技術(shù)有限公司） 題目：AI增強(qiáng)的可信代碼 |
14:45-15:10 |
報(bào)告人：?jiǎn)汤冢ㄖ袊?guó)航天科技集團(tuán)） 題目：航天器操作系統(tǒng)實(shí)時(shí)任務(wù)調(diào)度與準(zhǔn)入控制分析 |
15:10-15:35 |
報(bào)告人：郝丹（北京大學(xué)） 題目：智能化軟件測(cè)試的實(shí)踐 |
15:35-15:45 |
茶歇 |
15:45-16:10 |
報(bào)告人：陳振宇（南京大學(xué)） 題目：軟件工程產(chǎn)教研融合實(shí)踐 |
16:10-16:35 |
報(bào)告人：李欽（華東師范大學(xué)） 題目：人工智能系統(tǒng)可靠性研究 |
16:35-17:00 |
報(bào)告人：常萬(wàn)里（湖南大學(xué)） 題目：智能汽車(chē)失效可操作 |
17:00-17:25 |
報(bào)告人：張民（華東師范大學(xué)） 題目：基于細(xì)粒度線(xiàn)性近似的卷積神經(jīng)網(wǎng)絡(luò)魯棒性驗(yàn)證 |
17:25-17:50 |
報(bào)告人：陳立前（國(guó)防科技大學(xué)） 題目：數(shù)值程序分析、驗(yàn)證與修復(fù) |
17:50-18:15 |
報(bào)告人：彭鑫（復(fù)旦大學(xué)） 題目：基于知識(shí)圖譜的軟件開(kāi)發(fā)資源智能化推薦 |
4月26日 晚上 |
18:30-20:30 |
自助晚宴（地點(diǎn)：太倉(cāng)華旭假日酒店一層西餐廳） |
4月27日 上午 西工大長(zhǎng)三角 研究院1號(hào)樓 二層203室 應(yīng)時(shí) 教授 李曉紅 教授 |
8:30-8:55 |
報(bào)告人：周明輝（北京大學(xué)） 題目：開(kāi)源數(shù)字社會(huì)學(xué) |
8:55-9:20 |
報(bào)告人：牟明（中航共性技術(shù)研究所） 題目：智能技術(shù)在機(jī)載系統(tǒng)研發(fā)中的應(yīng)用 |
9:20-9:45 |
報(bào)告人：宋富（上?？萍即髮W(xué)） 題目：基于BDD的二值化神經(jīng)網(wǎng)絡(luò)定量分析方法 |
9:45-10:10 |
報(bào)告人：馬曉星（南京大學(xué)） 題目：程序代碼粒度的動(dòng)態(tài)軟件更新 |
10:10-10:20 |
茶歇 |
10:20-10:45 |
報(bào)告人：金鑫（北京大學(xué)） 題目：軟件定義的云計(jì)算操作系統(tǒng) |
10:45-11:10 |
報(bào)告人：卜磊（南京大學(xué)） 題目：學(xué)習(xí)賦能的實(shí)時(shí)系統(tǒng)控制生成 |
11:10-11:35 |
報(bào)告人：趙永望（浙江大學(xué)） 題目：系統(tǒng)安全形式化驗(yàn)證的現(xiàn)狀與展望 |
11:35-12:00 |
報(bào)告人：柳欣欣（中科院軟件所） 題目：進(jìn)程等式公理系統(tǒng)的層次體系 |
4月27日 中午 |
12:00-12:30 |
自助午餐 （地點(diǎn)：西工大長(zhǎng)三角研究院6號(hào)樓三層餐廳） |
