10月28至31日，第十四届全国嵌入式系统学术会议（ESTC2016）和International Symposium on Software and System Reliability (ISSSR2016)在上海华东师范大学举行，我校计算机科学与技术学院江敏、郦丽、陈琳、朱晔4位老师应邀参会。
本次全国嵌入式系统学术会议以“安全可信嵌入式系统设计、验证与应用”为主题，旨在讨论嵌入式系统领域的最新研究成果和发展趋势，开展广泛的学术交流和研讨。
会议期间，计科院四位教师还参观了教育部软硬件协同设计技术与应用工程研究中心，得到了华东师范大学博士生导师陈仪香教授的热情接待。陈教授对计科院形式化科研小组取得的成绩表示赞赏，并就嵌入式系统、人工智能、模糊系统与模糊数学等方面的研究提出了宝贵的建议。
全国嵌入式系统学术会议是由中国计算机学会主办的CCF嵌入式系统专委会年度学术会议，已成为嵌入式系统及相关领域的专家、学者、工程师、业界人士以及研究生进行学术交流、技术研讨、产学互动的重要学术会议。ESTC2016与ISSSR2016同期召开，国防科技大学、西安电子科技大学、东北大学、重庆大学、华东师范大学等国内高校，以及美国、日本等国外高校的专家、学者、工程师、业界人士共同与会。（计算机科学与技术学院）
