2014年中法歷史文化研討班通知（第1號）
關(guān)于“模型與驗證驅(qū)動工程”的暑期研討班報名通知
由中國科學(xué)院院士，華東師范大學(xué)軟件學(xué)院院長何積豐教授倡導(dǎo)并主持開辦的計算機科學(xué)領(lǐng)域的暑期研討班每年暑假在中國上海召開。旨在為全國各地相關(guān)領(lǐng)域的碩士研究生，博士研究生，以及青年學(xué)者提供一個學(xué)習(xí)和討論的平臺。此研討班受國家外專局資助，每年邀請了眾多國外知名專家學(xué)者來滬講學(xué)。該暑期班自2005年開辦以來，一直以嵌入式系統(tǒng)以及各種國際前沿技術(shù)的應(yīng)用為主題，受到各方面好評。本年度暑期研討班的主題為“模型與驗證驅(qū)動工程”（Models and Verification Driven Engineering）。我們邀請了法國高師集團（ENS）的Patrice Quinton教授和Marc Pouzet教授，以及法國信息自動化研究所（INRIA）的EricMadelaine研究員，Xavier Rival研究員，F(xiàn)rederic Mallet副研究員和Julien Deantoni博士。
一、 暑期班上課時間：2014年7月7日---11日
學(xué)員報到時間: 7月6日9:00-17:00
二、 暑期班地點：上海華東師范大學(xué)軟件學(xué)院
三、 課程概要：（詳情請登錄www.sei.ecnu.edu.cn/summerschool
更多信息請查看學(xué)歷考試網(wǎng)
公眾號
事業(yè)單位
當(dāng)前位置：
公考類
招聘類
各類考試