宗旨

近年來，從事基礎計算科學研究之台灣學者們已在各校各自成立研究團隊並相互合作。和任何領域一樣，對基礎計算科學有興趣之學生須透過一系列課程學習基本知識。然而，國內從事此類研究的學者分散在各校，難以僅靠一己之力開設整套課程。因此，我們邀請有相同興趣的學者，一同開課，訓練下一代的研究人才。

「邏輯、語言與計算」暑期研習營為第二次舉辦，希望培養學員獨立進行基礎計算科學研究之能力。從今年起，本研習營將在兩大主題之間輪流替換。今年之主題為程式語言與型態系統，詳細課程包含邏輯、語意、函數語言、型態理論、程式建構、及抽象詮釋等。明年則以模型檢查與程式驗證為主題。

本研習營同時為台灣大學進修推廣部「高等程式語言與型態系統暑期碩士學分班」，研習時數（含考試）共 54 小時。修習結束經考試及格後，授予碩士學分三學分。也歡迎有興趣之社會、業界人士參加。

時間與地點

交通、停車資訊請參考交通資訊頁。

課程	簡稱	講者	單位
邏輯 Logic	Logic	莊庭瑞 Tyng-Ruey Chuang 中央研究院資訊科學研究所, 台灣大學資訊管理學系謝邁思 Max Schäfer Oxford University Computing Laboratory	3
函數式程式語言的語意 Semantics of Functional Programming Languages	Sem		2
函數式程式設計與型態推演系統導論 Introduction to Functional Programming and the Hindley-Milner Type System	FP	陳恭 Kung Chen 政治大學資訊科學系	4
程式建構與推理 Program Construction and Reasoning	Der	穆信成 Shin-Cheng Mu 中央研究院資訊科學研究所	3
部份求值法之技術與應用 Partial Evaluation: Types, Binding Times and Optimal Specialisation	PE	Neil Jones Department of Computer Science, University of Copenhagen (DIKU)	3
型態的另一種詮釋：抽象值 Interpreting Types as Abstract Values	IT	Oleg Kiselyov Fleet Numerical Meteorology and Oceanography Center 單中杰 Chung-chieh Shan(pending) Department of Computer Science and Center for Cognitive Science, Rutgers University	2

每單位課程包含兩小時課堂及一小時 lab/tutor. 以上課程共 17 單位。另含考試三小時由莊庭瑞老師負責，共 54 小時。

「部份求值法之技術與應用」及「型態的另一種詮釋：抽像值」以英文授課，其餘課程中文授課。

(L/T = Lab/Tutor)

報名資格
1. 資訊、電機、數學相關學系在學大學生，修業兩年（含）以上，或
2. 資訊、電機、數學相關學系研究所在學學生，或
3. 專科或大學畢業，現從事資訊相關行業工作者。
招收班別及人數: 一班 40 名為原則，共一班。得不足額錄取。
報名日期: 即日起至 2008 年 5 月 22 日止（通訊報名請於 5 月 22 日前寄達）。
報名手續: 線上報名、傳真、或通訊報名
- 報名表格請至台灣大學進修推廣部網站下載或電話(02-23620502#210)索取。課程正式名稱為「高等程式語言與型態系統暑期碩士學分班」
- 傳真或通訊報名請將下列資料以傳真(02-23691236)方式傳送，或限時掛號寄交
  1. 報名表（共兩張）
    - 請填寫至少一位推薦人（指導老師或上司）之姓名及連絡 email
    - 就讀動機務必填寫
  2. 學歷證件影印本兩份
  3. 歷年成績單影本兩份
- 線上報名者，請依線上操作步驟完成報名程序後，郵寄學歷證件影印本至台灣大學進修推廣部.
- 如在 5 月 22 日前未收到本部確認收到報名文件之訊息，請主動電話詢問。電話: 02-23620502 分機 211 俞小姐
甄選方式: 依相關學經歷審查成績高低決定。
放榜日期: 2008 年 5 月 30 日於本網站公佈錄取名單並寄發入學通知。