宗旨

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

「邏輯、語言與計算」暑期研習營希望培養學員獨立進行基礎計算科學研究之能力。從2008年起，本研習營在兩大主題之間輪流替換。今年之主題為邏輯與正規驗證。

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

「邏輯、語言與計算」暑期研習營已於 2007、2008、2009、2010 連續舉辦四年，今年為第五屆。

時間與地點

課程內容	講者	時數
基礎邏輯與計算理論 Elementary Logic and Computation Theory	蔡益坤 Yih-Kuen Tsay 台灣大學資訊管理學系	6
字串程式驗證 Verification of String-Manipulating Programs	郁方 Fang Yu 國立政治大學商學院	9
時序邏輯與模型檢查 Temporal Logics and Model Checking	王凡 Farn Wang 台灣大學電機工程學系	9
以自動機理論為基礎之模型檢查 Automata-Theoretic Model Checking	蔡益坤 Yih-Kuen Tsay 台灣大學資訊管理學系	6
布林可滿足性及其於硬體合成與驗證之應用 Boolean Satisfiability and Its Applications in Hardware Synthesis and Verification	黃鐘揚 Chung-Yang (Ric) Huang 台灣大學電機工程學系江介宏 Jie-Hong Roland Jiang 台灣大學電機工程學系	15
SMT及其於軟體模型檢查之應用 Satisfiability Modulo Theories and Its Applications in Software Model Checking	陳郁方 Yu-Fang Chen 中央研究院資訊科學研究所	9

以上課程(含演講54小時及考試3小時)共57小時，另預定進行專題討論約3小時。

	6/27 （一）	6/28 （二）	6/29 （三）	6/30 （四）	7/1 （五）	7/4 （一）	7/5 （二）	7/6 （三）	7/7 （四）	7/8 （五）
9:00-12:00	蔡	陳	蔡	陳	王	黃	黃	江	郁	考試
12:00-14:00	午餐					午餐
14:00-17:00	蔡	陳	蔡	王	王	黃	江	郁	郁	專題討論

按此處下載PDF版課程大綱（英文)；有易動時，以此網站為準。

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