形式化方法与车联网应用研讨会召开

        5月29日，由朱惠彪教授组织并主持的形式化方法与车联网应用研讨会，在理科大楼B1114顺利举行。本次学术会议围绕车联网领域的科学问题展开讨论，针对车联网不同应用场景，探索利用形式化方法保证车联网应用可靠性及安全性的具体策略。出席本次会议的包括华东师范大学陈仪香教授、北京大学陈一峯教授、澳门大学徐启文副教授、华东师范大学彭超副教授、华东师范大学赵涌鑫副教授及华东师范大学李钦博士等十余位专家及研究团队博士生等。

       本次研讨会旨在发现车联网领域的科学问题，推动形式化方法在车联网领域的应用，通过开展长效高效的学术交流，推进计算机理论研究及车联网应用的发展。车联网是目前非常热门的研究领域，其可预测性及安全性是车联网的重要属性。会上各位专家及同学进行了广泛的交流，其中，陈一峯教授分享了北京大学信息科学技术学院在形式化方法及车联网领域的研究成果，提出了一些具体的研究方向。徐启文副教授针对具体的研究问题，举例说明了车联网领域的一些具体应用场景。本次会议明确了研究方向，对于国内车联网领域相关问题的研究起到了很好的促进与交流作用，有利于下一步深层次工作的开展。