我校老师参加可信软件工程中的逻辑方法学术研讨会-泰州学院

我校老师参加可信软件工程中的逻辑方法学术研讨会

时间：2017年01月03日信息来源：泰州大学点击：次【加入收藏】【字体：大中小】

12月28至29日，可信软件工程中的逻辑方法研讨会（LEDS 2016）在上海华东师范大学举行，我校计算机科学与技术学院软件形式化验证科研团队的潘海玉、袁红娟、郦丽、江敏、朱晔等五位老师参加了会议。潘海玉博士应邀为大会作了题为《Reachability in Fuzzy Game Graphs》的专题报告。

“可信软件工程中的逻辑方法研讨会”旨在促进我国在可信软件基础领域的理论研究、技术开发和工业实践应用，加强国内该领域同行专家的学术交流与探讨。会议每年邀请国内该领域的知名专家学者、科研工作者、以及行业领域专家，围绕软件形式化方法、软件模型设计理论、软件分析与验证、软件工程实践等内容开展深入探讨和交流。（计算机科学与技术学院）

上一篇：：温潘亚校长检查指导教学迎评工作
下一篇：：音乐学院成功举行2017迎新年元旦文艺晚会

(作者：佚名编辑：泰州学院)

文章热词： 泰州学院成人高考　我校老师参加可信软件软件工程工程中的江苏成人高考报名

我有话说

成人高考

: 淮安成人高考,淮安成人高考报名; 泰州成人高考,泰州成人高考报名; 宿迁成人高考,宿迁成人高考报名; 无锡成人高考,无锡成人高考报名; 常州成人高考,常州成人高考报名; 连云港成人高考,连云港成人高考报名; 徐州成人高考,徐州成人高考报名; 盐城成人高考,盐城成人高考报名; 扬州成人高考,扬州成人高考报名; 南通成人高考,南通成人高考报名; 苏州成人高考,苏州成人高考报名; 镇江成人高考,镇江成人高考报名; 南京成人高考,南京成人高考报名; 江苏成人高考,江苏成人高考报名

我校老师参加可信软件工程中的逻辑方法学术研讨会

我有话说

成人高考

最新文章

推荐文章

热门文章