華東師范大學”模型與驗證驅(qū)動工程“2014年暑期學校招生簡章
來源：華東師范大學網(wǎng) 閱讀：946 次 日期：2014-06-04 08:59:55
溫馨提示：易賢網(wǎng)小編為您整理了“華東師范大學”模型與驗證驅(qū)動工程“2014年暑期學校招生簡章”,方便廣大網(wǎng)友查閱！

2014年中法歷史文化研討班通知（第1號）

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

由中國科學院院士，華東師范大學軟件學院院長何積豐教授倡導并主持開辦的計算機科學領(lǐng)域的暑期研討班每年暑假在中國上海召開。旨在為全國各地相關(guān)領(lǐng)域的碩士研究生，博士研究生，以及青年學者提供一個學習和討論的平臺。此研討班受國家外專局資助，每年邀請了眾多國外知名專家學者來滬講學。該暑期班自2005年開辦以來，一直以嵌入式系統(tǒng)以及各種國際前沿技術(shù)的應用為主題，受到各方面好評。本年度暑期研討班的主題為“模型與驗證驅(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日

學員報到時間: 7月6日9:00-17:00

二、 暑期班地點：上海華東師范大學軟件學院

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

圖片

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

由于各方面情況的不斷調(diào)整與變化，易賢網(wǎng)提供的所有考試信息和咨詢回復僅供參考，敬請考生以權(quán)威部門公布的正式信息和咨詢?yōu)闇剩?/div>
關(guān)于我們 | 聯(lián)系我們 | 人才招聘 | 網(wǎng)站聲明 | 網(wǎng)站幫助 | 非正式的簡要咨詢 | 簡要咨詢須知 | 加入群交流 | 手機站點 | 投訴建議
工業(yè)和信息化部備案號：滇ICP備2023014141號-1 云南省教育廳備案號：云教ICP備0901021 滇公網(wǎng)安備53010202001879號 人力資源服務許可證：（云）人服證字（2023）第0102001523號
聯(lián)系電話：0871-65317125（9:00—18:00） 獲取招聘考試信息及咨詢關(guān)注公眾號：hfpxwx
咨詢QQ：526150442（9:00—18:00）版權(quán)所有:易賢網(wǎng)