• [2009/7/30] FLOLAC 2009 成績報告
• [2009/7/6] 即日起，改回207教室上課。
• [2009/7/2] 即日起，改在202教室上課。
• [2009/6/29] 開始上課囉！
• [2009/6/27] 所有課程投影片將於第一天上課前發放；其中絕大部分已可於各講題網頁下載，方便學員預習。
• [2009/6/27] 全體學員請於二十九日(星期一)12:10-13:00至台大進修推廣部一樓報到，並領取午餐；13:30進行始業式；14:00開始上課。
• [2009/6/23] 本暑期研習營可補助遠道學員住宿台北教師會館，名額有限，有需要者請儘速與蔡益坤老師聯繫。

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

「邏輯、語言與計算」暑期研習營為第三次舉辦，希望培養學員獨立進行基礎計算科學研究之能力。今年之主題為模型檢查與程式驗證，詳細課程包含模態邏輯、時態邏輯、模型檢查、及硬體驗證等。

本研習營同時為台灣大學進修推廣部「邏輯與正規驗證暑期碩士學分班」，研習時數（含考試）共 57 小時。修畢課程並經考試及格後，授予碩士學分課程三學分。也歡迎有興趣之社會、業界人士參加。

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

• 日期: 2009 年 6 月 29 日（週ㄧ）至 7 月 10 日（週五）
• 時間: 每週一至週五早上九點至下午五點，依課程排定時間上課
• 地點: 國立台灣大學進修推廣部 2 樓 207 教室（台北市106羅斯福路4段107號），電話 02-23620502 。

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

以上課程共 18 單位。另含考試三小時，共 57 小時。

• 報名資格
  1. 大學資訊、電機、數學相關學系在學大學生，修業兩年（含）以上，或
  2. 大學資訊、電機、數學相關學系研究所在學學生，或
  3. 專科或大學畢業，現從事資訊相關行業工作者。
• 招收班別及人數: 一班 40 名為原則，共一班。得不足額錄取。
• 報名日期: 即日起至 2009 年 6 月 10 日（星期三）止。
• 報名手續: 一律線上報名
  • 請至台灣大學進修推廣部點選「邏輯與正規驗證」暑期碩士學分班，然後請依線上操作步驟完成報名程序。
  • 完成線上報名後二天內，請傳真學歷證件影本（在學生請附學生證或在學證明影本）至台灣大學進修推廣部，逾二天未傳證件資料者，將不予保留名額。
  • 傳真證件後，請主動電話詢問台灣大學進修推廣部是否收到，電話：(02-23620502分機210)。
• 甄選方式: 依相關學經歷審查成績高低決定。
• 放榜日期: 2009 年 6 月 15 日下午 15:00 於台灣大學進修推廣部網站公佈錄取名單並寄發入學通知。

每學分學費 1200 元，共 3600 元整（不含書籍費）。確定錄取後由台灣大學進修推廣部通知繳交，須於 2009 年 6 月 22 日前完成繳費。

修業期滿並經考試及格後(碩士班課程及格分數70分)，由台灣大學進修推廣部核發推廣教育證明書及學分成績證明。

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

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

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

• 陳恭 Kung Chen, 政治大學 資訊科學系.
• 莊庭瑞 Tyng-Ruey Chuang, 中央研究院 資訊科學研究所、台灣大學 資訊管理學系.
• 穆信成 Shin-Cheng Mu, 中央研究院資訊科學研究所.
• 蔡明憲 Ming-Hsien Tsai, 台灣大學 資訊管理學系.
• 蔡益坤 Yih-Kuen Tsay, 台灣大學 資訊管理學系.
• 王柏堯 Bow-Yaw Wang, 中央研究院 資訊科學研究所、台灣大學 資訊管理學系.

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