日程表-可信软件工程中的逻辑方法研讨会v7
由计算机科学与工程学院、广西可信软件重点实验室承办、中科院软件所主办的“可信软件工程中的逻辑方法”学术研讨会将于 2014.11.13-15 日在桂林电子科技大学召开,欢迎有兴趣的同仁积极参加。本次会议将聚集国内本领域的相关院士、学术和工业届专家学者、工程技术人员参加,机会难得。具体会议日程表如下:日程安排表日程安排表会议地点:金鸡岭校区金鸡岭校区 10 教教 50611.1311.13 日日 上午上午 (程序验证)(程序验证) 主持人:蔡国永主持人:蔡国永9:00-10:009:00-10:00王捍贫王捍贫 教授教授北京大学北京大学程序验证理论方法与实际应用的差距程序验证理论方法与实际应用的差距10:00-1110:00-11:0000董云卫董云卫 教授教授 西北工业大学西北工业大学 模型驱动的驱动程序软件设计与验证模型驱动的驱动程序软件设计与验证 11:00-11:1011:00-11:10茶歇茶歇11:10-11:4011:10-11:40陈振邦陈振邦 博士博士 国防科大国防科大正规性质制导的符号执行技术正规性质制导的符号执行技术1111:40-1240-12:1010孙孙 猛猛 副教授副教授 北京大学北京大学ModelingModeling andand VerificationVerification ofof ComponentComponent ConnectorsConnectors inin CoqCoq午餐午餐11.1311.13 日日 下午(形式建模)下午(形式建模) 主持人:常亮主持人:常亮14:00-15:0014:00-15:00田聪田聪 西安电子科技大学西安电子科技大学TBATBA15:00-1615:00-16:0000李晓红李晓红天津大学天津大学TBATBA16:00-16:1016:00-16:10茶歇茶歇16:10-17:1016:10-17:10刘刘 静静 教授教授 华东师范大学华东师范大学 轨旁系统的形式建模与验证轨旁系统的形式建模与验证 17:10-18:1017:10-18:10缪淮扣缪淮扣 教授教授上海大学上海大学基于概率模型检验的基于概率模型检验的 WebWeb 服务动态自适应配置服务动态自适应配置11.1411.14 日日 上午(逻辑)上午(逻辑) 主持人:孙猛主持人:孙猛9:00-10:009:00-10:00赵建华赵建华 教授教授南京大学南京大学ScopeScope LogicLogic 研究进展:代码证明中的数据流分析技术和最弱前置条研究进展:代码证明中的数据流分析技术和最弱前置条 件计算件计算10:00-1110:00-11:0000蒲戈光蒲戈光 教授教授华东师范大学华东师范大学Aalta:Aalta: AnAn LTLLTL SatisfiabilitySatisfiability CheckerChecker overover Infinite/FiniteInfinite/Finite TracesTraces11:00-11:1511:00-11:15茶歇茶歇11:15-12:1511:15-12:15佘志坤佘志坤 教授教授北京航空航天大学北京航空航天大学livenessliveness verificationverification ofof hybridhybrid systemssystems午餐午餐11.1411.14 日日 下午下午 (混成系统)(混成系统) 主持人:詹乃军主持人:詹乃军14:00-15:0014:00-15:00刘刘 江江 副研究员副研究员重庆绿色智能研究院重庆绿色智能研究院关于关于 UKFUKF 的扩展研究的扩展研究15:00-1615:00-16:0000张立军张立军 研究员研究员中科院软件所中科院软件所probablyprobably safesafe oror livelive16:00-16:1016:00-16:10茶歇茶歇16:10-17:1016:10-17:10詹乃军詹乃军 研究员研究员中科院软件所中科院软件所formalformal verificationverification ofof a a descentdescent guidanceguidance controlcontrol programprogram inin a a lunarlunar landerlander1717:10-1810-18:1010PanelPanel SessionSession 周巢尘院士、古天龙校长、段振华教授、叶宏研究 员、詹乃军研究员、张立军研究员、缪海扣教授等 中国形式化方法的未来中国形式化方法的未来11.1511.15 日日 上午上午 (工业)(工业) 主持人:叶宏主持人:叶宏9:00-9:409:00-9:40芦晓云芦晓云 研究员、副总师研究员、副总师中电科技中电科技 1010 所所 机载嵌入式可信软件的实践与思考机载嵌入式可信软件的实践与思考9:40-109:40-10:2020胡胡 宁宁 博士、高工博士、高工中航工业中航工业 631631 所所安全关键软件研发的过程方法及实践安全关键软件研发的过程方法及实践10:20-11:0010:20-11:00顾顾 斌斌 研究员、副总师研究员、副总师航天科技航天科技 502502 所所航天嵌入式软件可信保障研究进展航天嵌入式软件可信保障研究进展11:00-11:1011:00-11:10茶歇茶歇11:10-11:5011:10-11:50王王 淼淼 博博 士士中航工业中航工业 615615 所所综合化航空电子系统安全性及数据挖掘应用研究综合化航空电子系统安全性及数据挖掘应用研究11:50-12:2011:50-12:20叶叶 宏宏 研究员、副总师研究员、副总师中航工业中航工业 631631 所所天脉操作系统的可靠性评估方法探索与实践天脉操作系统的可靠性评估方法探索与实践午餐午餐11.1511.15 日日 下午下午 (验证)(验证) 主持人:钱俊彦主持人:钱俊彦14:00-15:0014:00-15:00陈立前陈立前 博士博士国防科大国防科大基于自组合的浮点程序鲁棒性分析基于自组合的浮点程序鲁棒性分析15:00-1615:00-16:0000陈仪香陈仪香 教授教授华东师范大学华东师范大学时空一致性需求规范语言时空一致性需求规范语言 STeCSTeC16:00-16:1516:00-16:15茶歇茶歇16:15-17:1516:15-17:15钱俊彦钱俊彦 教授教授桂林电子科技大学桂林电子科技大学基于时间多栈下推网络的实时系统验证基于时间多栈下推网络的实时系统验证