邏輯、語言與計算 暑期研習營 FLOLAC '07
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
PLT 近期熱門文章
PTT數位生活區 即時熱門文章
