2014年中法歷史文化研討班通知（第1號(hào)）

關(guān)于“模型與驗(yàn)證驅(qū)動(dòng)工程”的暑期研討班報(bào)名通知

由中國科學(xué)院院士，華東師范大學(xué)軟件學(xué)院院長何積豐教授倡導(dǎo)并主持開辦的計(jì)算機(jī)科學(xué)領(lǐng)域的暑期研討班每年暑假在中國上海召開。旨在為全國各地相關(guān)領(lǐng)域的碩士研究生，博士研究生，以及青年學(xué)者提供一個(gè)學(xué)習(xí)和討論的平臺(tái)。此研討班受國家外專局資助，每年邀請(qǐng)了眾多國外知名專家學(xué)者來滬講學(xué)。該暑期班自2005年開辦以來，一直以嵌入式系統(tǒng)以及各種國際前沿技術(shù)的應(yīng)用為主題，受到各方面好評(píng)。本年度暑期研討班的主題為“模型與驗(yàn)證驅(qū)動(dòng)工程”（Models and Verification Driven Engineering）。我們邀請(qǐng)了法國高師集團(tuán)（ENS）的Patrice Quinton教授和Marc Pouzet教授，以及法國信息自動(dòng)化研究所（INRIA）的EricMadelaine研究員，Xavier Rival研究員，F(xiàn)rederic Mallet副研究員和Julien Deantoni博士。

一、 暑期班上課時(shí)間：2014年7月7日---11日

學(xué)員報(bào)到時(shí)間: 7月6日9:00-17:00

二、 暑期班地點(diǎn)：上海華東師范大學(xué)軟件學(xué)院

三、 課程概要：（詳情請(qǐng)登錄www.sei.ecnu.edu.cn/summerschool

更多信息請(qǐng)查看學(xué)歷考試網(wǎng)