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

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