日程表-可信軟件工程中的邏輯方法研討會(huì)v7.docx

由計(jì)算機(jī)科學(xué)與工程學(xué)院、廣西可信軟件重點(diǎn)實(shí)驗(yàn)室承辦、中科院軟件所主辦的“可信軟件工程中的邏輯方法”學(xué)術(shù)研討會(huì)將于2014.11.13-15日在桂林電子科技大學(xué)召開，歡迎有興趣的同仁積極參加。本次會(huì)議將聚集國內(nèi)本領(lǐng)域的相關(guān)院士、學(xué)術(shù)和工業(yè)屆專家學(xué)者、工程技術(shù)人員參加，機(jī)會(huì)難得。具體會(huì)議日程表如下：日程安排表會(huì)議地點(diǎn)：金雞嶺校區(qū)10教50611.13日 上午 （程序驗(yàn)證） 主持人：蔡國永9:00-10:00王捍貧 教授北京大學(xué)程序驗(yàn)證理論方法與實(shí)際應(yīng)用的差距10:00-11：00董云衛(wèi) 教授 西北工業(yè)大學(xué) 模型驅(qū)動(dòng)的驅(qū)動(dòng)程序軟件設(shè)計(jì)與驗(yàn)證 11:00-11:10茶歇11:10-11:40陳振邦 博士 國防科大正規(guī)性質(zhì)制導(dǎo)的符號(hào)執(zhí)行技術(shù)11：40-12：10孫 猛 副教授 北京大學(xué)Modeling and Verification of Component Connectors in Coq午餐11.13日 下午（形式建模） 主持人：常亮14:00-15:00田聰 西安電子科技大學(xué)TBA15:00-16：00李曉紅天津大學(xué)TBA16:00-16:10茶歇16:10-17:10劉 靜 教授 華東師范大學(xué) 軌旁系統(tǒng)的形式建模與驗(yàn)證 17:10-18:10繆淮扣 教授上海大學(xué)基于概率模型檢驗(yàn)的Web服務(wù)動(dòng)態(tài)自適應(yīng)配置11.14日 上午（邏輯） 主持人：孫猛9:00-10:00趙建華 教授南京大學(xué)Scope Logic研究進(jìn)展：代碼證明中的數(shù)據(jù)流分析技術(shù)和最弱前置條件計(jì)算10:00-11：00蒲戈光 教授華東師范大學(xué)Aalta: An LTL Satisfiability Checker over Infinite/Finite Traces11:00-11:15茶歇11:15-12:15佘志坤 教授北京航空航天大學(xué)liveness verification of hybrid systems午餐11.14日 下午 （混成系統(tǒng)） 主持人：詹乃軍14:00-15:00劉 江 副研究員重慶綠色智能研究院關(guān)于UKF的擴(kuò)展研究15:00-16：00張立軍 研究員中科院軟件所probably safe or live16:00-16:10茶歇16:10-17:10詹乃軍 研究員中科院軟件所formal verification of a descent guidance control program in a lunar lander17：10-18：10Panel Session 周巢塵院士、古天龍校長、段振華教授、葉宏研究員、詹乃軍研究員、張立軍研究員、繆?？劢淌诘?中國形式化方法的未來11.15日 上午 （工業(yè)） 主持人：葉宏9:00-9:40蘆曉云 研究員、副總師中電科技10所 機(jī)載嵌入式可信軟件的實(shí)踐與思考9:40-10：20胡 寧 博士、高工中航工業(yè)631所安全關(guān)鍵軟件研發(fā)的過程方法及實(shí)踐10:20-11:00顧 斌 研究員、副總師航天科技502所航天嵌入式軟件可信保障研究進(jìn)展11:00-11:10茶歇11:10-11:50王 淼 博 士中航工業(yè)615所綜合化航空電子系統(tǒng)安全性及數(shù)據(jù)挖掘應(yīng)用研究 11:50-12:20葉 宏 研究員、副總師中航工業(yè)631所天脈操作系統(tǒng)的可靠性評(píng)估方法探索與實(shí)踐午餐11.15日 下午 （驗(yàn)證） 主持人：錢俊彥14:00-15:00陳立前 博士國防科大基于自組合的浮點(diǎn)程序魯棒性分析15:00-16：00陳儀香 教授華