中丹基础研究中心IDEA4CPS第二次国际技术研讨会(2nd General Meeting of the Sino-Danish Basic Research Center IDEA4CPS)于2012年11月21日至23日在华东师范大学成功召开。
本次会议共安排了23场精彩的报告,中丹基础研究中心主任来自丹麦Aalborg大学的欧洲科学院院士Kim G Larsen在大会上做了精彩的演讲。丹麦Aalborg大学的Alexandre David、Radu Mardare、Zhengkui Zhang、Danny B Poulsen以及Arne Skou,丹麦DTU大学的Nicola Dragoni、Roberto Vigo以及Ender Yuksel等9位信息物理融合系统领域国际专家应邀出席本次会议。大会还邀请到来自华东师范大学、中国科学院软件研究所、无锡物联网研究院、北京工业大学以及中国空间技术研究院等30余位国内相关领域的知名专家作了精彩的报告。近百位师生与会聆听报告,会议由华东师范大学软件学院朱惠彪教授主持。
中丹基础研究中心IDEA4CPS国际技术研讨会将形式化方法与信息物理融合系统相结合, 既包含科学界的研究探索型问题也包含工业界的应用问题。大会关注领域广泛,研究内容涉及规范与形式化建模、分析与验证技术等六个方面。有关中丹基础研究中心IDEA4CPS国际技术研讨会更多的详细信息请参见该中心网站http://www.idea4cps.dk。本次大会受到来自国内外相关领域专家的广泛赞誉,大会于23日圆满落下帷幕。