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