2008年7月11日 星期五

start [2008 Formosan Summer School on Logic, Language, and Computation (FLOLAC '08)]

start [2008 Formosan Summer School on Logic, Language, and Computation (FLOLAC '08)]

2008 「邏輯、語言與計算」暑期研習營

「高等程式語言與型態系統」 (Advanced Programming Languages and Type Systems) 暑期課程碩士學分班

宗旨

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

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

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

參考連結:2007 「邏輯、語言與計算」暑期研習營暨碩士學分班.

時間與地點

  • 日期: 2008 年六月卅日(週一)至七月十一日(週五)
  • 時間: 每週一至週五早上九點至下午五點,依課程排定時間上課
  • 地點: 中央研究院資訊科學研究所 新館一樓 106 教室

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

課程與講者

特別演講

課表


6/30 7/1 7/2 7/3 7/4
7/7 7/8 7/9 7/10 7/11

Mon Tue Wed Thu Fri
Mon Tue Wed Thu Fri
09:30 - 10:30
Logic Logic FP FP
Logic PE PE PE 考試
10:30 - 11:30
Logic Logic FP FP
Logic PE PE PE 考試
11:30 - 12:30
L/T L/T L/T L/T
L/T L/T L/T L/T 考試
12:30 - 2:00 午餐
午餐
2:00 - 3:00 FP FP Sem Sem Der
Der Der IT IT 演講
3:00 - 4:00 FP FP Sem Sem Der
Der Der IT IT 演講
4:00 - 5:00 L/T L/T L/T L/T L/T
L/T L/T L/T L/T

(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 日於本網站公佈錄取名單並寄發入學通知。

學費

每學分學費 1200 元,共 3600 元整。確定錄取後繳交。

全程出席、考試成績優異者,中央研究院資訊科學研究所另以獎助學金方式補助部份學分費。

結業與學分抵免

修習結束經考試及格後,由台灣大學進修推廣部授予碩士學分三學分並發給推廣教育證明書及學分成績證明。

本班與國內外大學相關研究所學分之抵免,依各校規定辦理。欲獲得學分之學員請先向所屬學校查詢學分抵免相關規定。

本班為學分班,僅授予學分,不授予學位證書。

主辦單位

中央研究院資訊科學研究所、台灣大學資訊管理學系、政治大學資訊科學系聯合主辦,台灣大學進修推廣部協辦。

課程委員

課務統籌

  • 張少娟 Shao-Chuan Chang, 中央研究院資訊科學研究所

沒有留言: