日程表-可信软件工程中的逻辑方法研讨会v7.docx

由计算机科学与工程学院、广西可信软件重点实验室承办、中科院软件所主办的“可信软件工程中的逻辑方法”学术研讨会将于2014.11.13-15日在桂林电子科技大学召开，欢迎有兴趣的同仁积极参加。本次会议将聚集国内本领域的相关院士、学术和工业届专家学者、工程技术人员参加，机会难得。具体会议日程表如下：日程安排表会议地点：金鸡岭校区10教50611.13日 上午 （程序验证） 主持人：蔡国永9:00-10:00王捍贫 教授北京大学程序验证理论方法与实际应用的差距10:00-11：00董云卫 教授 西北工业大学 模型驱动的驱动程序软件设计与验证 11:00-11:10茶歇11:10-11:40陈振邦 博士 国防科大正规性质制导的符号执行技术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刘 静 教授 华东师范大学 轨旁系统的形式建模与验证 17:10-18:10缪淮扣 教授上海大学基于概率模型检验的Web服务动态自适应配置11.14日 上午（逻辑） 主持人：孙猛9:00-10:00赵建华 教授南京大学Scope Logic研究进展：代码证明中的数据流分析技术和最弱前置条件计算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日 下午 （混成系统） 主持人：詹乃军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日 上午 （工业） 主持人：叶宏9:00-9:40芦晓云 研究员、副总师中电科技10所 机载嵌入式可信软件的实践与思考9:40-10：20胡 宁 博士、高工中航工业631所安全关键软件研发的过程方法及实践10:20-11:00顾 斌 研究员、副总师航天科技502所航天嵌入式软件可信保障研究进展11:00-11:10茶歇11:10-11:50王 淼 博 士中航工业615所综合化航空电子系统安全性及数据挖掘应用研究 11:50-12:20叶 宏 研究员、副总师中航工业631所天脉操作系统的可靠性评估方法探索与实践午餐11.15日 下午 （验证） 主持人：钱俊彦14:00-15:00陈立前 博士国防科大基于自组合的浮点程序鲁棒性分析15:00-16：00陈仪香 教授华