2007 「邏輯、語言與計算」暑期研習營暨碩士學分班 2007 Formosan Summer School on Logic, Language, and Computation (FLOLAC '07) http://www.iis.sinica.edu.tw/~scm/flolac07/ 近年來，從事基礎計算科學研究的台灣學者們已在各校各自成立了數個 研究團隊，並在一些題目上相互合作。和任何領域一樣，對基礎計算科 學有興趣的學生必須透過一系列課程學習基本知識。然而，國內從事此 類研究的學者分散在各校，難以僅靠一己之力開設整套課程。因此，我 們希望有相同興趣的學者，一同開課，訓練下一代的研究人才。 本研習營將開設一系列課程，希望修習後的學員們能有獨立進行基礎計 算科學研究之能力。今年的課程將包含邏輯、程式語言、型態理論、模 型檢查、驗證、與程式推導。我們希望這第一次的研習營將是往後更多 相關活動的開始，並藉此促進學界的交流。 本課程研習時數（含考試）共 54 小時，修習結束經考試及格後，授予 碩士學分三學分。也歡迎有興趣之社會、業界人士參加。 時間與地點 ========== 日期: 2007 年七月二日（週一）至七月十三日（週五） 時間: 每週一至週五早上九點至下午五點，依課程排定時間上課 地點: 中央研究院資訊科學研究所 課程與講者 ======== 課程簡介詳見研習營網頁: http://www.iis.sinica.edu.tw/~scm/flolac07/ o 邏輯 Logic 謝邁思 (Max Schaefer), 中央研究院資訊科學研究所 o 模型檢查, 時態邏輯, 與自動機理論 Model Checking, Temporal Logic, and Automata Theory 王柏堯 (Bow-Yaw Wang), 中央研究院資訊科學研究所、台灣大學資訊管理學系 o 演繹式程式驗證 Deductive Program Verification 蔡益坤 (Yih-Kuen Tsay), 台灣大學資訊管理學系 o 函數式程式 Functional Programming 莊庭瑞 (Tyng-Ruey Chuang), 中央研究院資訊科學研究所 o 型態系統 Type Systems 陳恭 (Kung Chen), 政治大學資訊科學系 o 程式推導 Program Derivation 穆信成 (Shin-Cheng Mu, 中央研究院資訊科學研究所) 報名資訊 ======== 報名資格: 1. 資訊、電機、數學相關學系在學大學生，修業兩年（含）以上，或 2. 資訊、電機、數學相關學系研究所在學學生，或 3. 專科或大學畢業，現從事資訊相關行業工作者。 報名日期: 即日起至 2007 年 5 月 31 日止（通訊報名請於 5 月 31 前寄達）。2007 年 6 月 11 日於網站公佈錄取名單並寄發入學通知。 報名手續: 線上報名、傳真、或通訊報名 o 報名表格請至台灣大學進修推廣部網站 http://training.dpd.ntu.edu.tw/ 下載或電話(02-23620502#10)索取 o 傳真或通訊報名請將下列資料以傳真(02-23691236)方式傳送，或限時 掛號寄交 1. 報名表（共兩張） 2. 學歷證件影印本兩份 o 線上報名者，請依線上操作步驟完成報名程序後，郵寄學歷證件影印本 至台灣大學進修推廣部. o 如在 6 月 4 日前未收到本部確認收到報名文件之訊息，請主動電話詢 問。電話: 02-23620502 分機 11 俞小姐 o 甄選方式: 依相關學經歷審查成績高低決定。 o 放榜日期: 2007 年 6 月 11 日於本網站公佈錄取名單並寄發入學通知。 課程學費 ======== 每學分學費 1000 元，共 3000 元整。確定錄取後繳交。 全程出席、考試成績優異者，中央研究院資訊科學研究所另以獎助學金方式補 助部份學分費。 結業與學分抵免 ============== 修習結束經考試及格後，由台灣大學進修推廣部授予碩士學分三學分並發給推 廣教育證明書及學分成績證明。 本班與國內外大學相關研究所學分之抵免，依各校規定辦理。 本班為學分班，僅授予學分，不授予學位證書。 主辦單位 ======== 中央研究院資訊科學研究所、台灣大學資訊管理學系主辦， 台灣大學進修推廣部協辦。 --

※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.109.20.217