华东师范大学”模型与验证驱动工程“2014年暑期学校招生简章

2014-06-04来源：华东师范大学网

2014年中法历史文化研讨班通知（第1号）

关于“模型与验证驱动工程”的暑期研讨班报名通知

由中国科学院院士，华东师范大学软件学院院长何积丰教授倡导并主持开办的计算机科学领域的暑期研讨班每年暑假在中国上海召开。旨在为全国各地相关领域的硕士研究生，博士研究生，以及青年学者提供一个学习和讨论的平台。此研讨班受国家外专局资助，每年邀请了众多国外知名专家学者来沪讲学。该暑期班自2005年开办以来，一直以嵌入式系统以及各种国际前沿技术的应用为主题，受到各方面好评。本年度暑期研讨班的主题为“模型与验证驱动工程”（Models and Verification Driven Engineering）。我们邀请了法国高师集团（ENS）的Patrice Quinton教授和Marc Pouzet教授，以及法国信息自动化研究所（INRIA）的EricMadelaine研究员，Xavier Rival研究员，Frederic Mallet副研究员和Julien Deantoni博士。

一、暑期班上课时间：2014年7月7日---11日

学员报到时间: 7月6日9:00-17:00

二、暑期班地点：上海华东师范大学软件学院

三、课程概要：（详情请登录www.sei.ecnu.edu.cn/summerschool