由江南大学研究生院、物联网工程学院和华东师范大学软件学院联合主办的物联网验证技术研究生暑期学校将于7月11日至15日在我校举办。

本期研究生暑期学校，是由中国科学院院士、华东师范大学软件学院院长何积丰教授倡导并主持开办的计算机科学领域研究生暑期学校的延续，旨在为全国各地相关领域的硕士、博士研究生以及青年学者提供一个学习和研讨的平台。

本期研究生暑期学校的主题为“物联网验证技术研究”，邀请了Kokichi Futatsug教授（Janpan Advanced Institute of Science and Technology ）、Santiago Escoba教授（Departamento de Sistemas Informáticos y Computación Universidad Politécnica de Valencia ），以及 Narciso Martí-Olie教授（Department of Informatic Systems and Programming, Faculty of Informatics, UCM）主讲授课，将围绕 Executable Algebraic Semantics in CafeOBJ 以及 Programming,modeling and verification in Maude 等内容开展学习研讨，充分体现了研究生暑期学校的前沿性与国际化。暑期学校的40余名正式学员均从全国各高校报名申请的研究生中遴选产生。学习班还安排了相互交流和自由报告的时间，为各位学员介绍自己研究成果和新观点提供平台。

相信这期在江南大学开办的“物联网验证技术研究”研究生暑期学校一定能为研究生学员提供一个学习交流的高平台，对学员专业研究能力培养也会有较大的帮助。（研究生院）