2009 「邏輯、語言與計算」暑期研習營 暨「邏輯與正規驗證」暑期碩士學分班 http://flolac.iis.sinica.edu.tw/flolac09/doku.php 主辦單位:中央研究院資訊科學研究所、臺灣大學資訊管理學系 協辦單位:臺灣大學進修推廣部 日期：2009 年 6 月 29 日（週一）至 7 月 10 日（週五） 時間：每週一至週五早上九點至下午五點，依課程排定時間上課 地點：國立台灣大學進修推廣部(台北市106羅斯福路4段107號) 報名日期:即日起至98年6月10日(星期一)止。 放榜日期:98年6月15日下午三時於 台灣大學進修推廣部網站公佈錄取名單並寄發入學通知。 本研習營同時為台灣大學進修推廣部「邏輯與正規驗證」暑期碩士學分班，研 習時數（含考試）共 57 小時。修畢課程並經考試及格後，授予碩士學分三學分 ------ 課程與講者 o 布林可滿足性演算法（Boolean Satisfiability Algorithms） 黃鐘揚 Chung-Yang (Ric) Huang，台灣大學電機工程學系 o 基礎邏輯與自動機（Elementary Logic and Automata Theory） 王柏堯 Bow-Yaw Wang，中央研究院資訊科學研究所 o 模態邏輯（An Introduction to Modal Logic） 廖純中 Churn-Jung Liau，中央研究院資訊科學研究所 o 硬體驗證（Hardware Equivalence and Property Verification） 江介宏 Jie-Hong Roland Jiang，台灣大學電機工程學系 o ω-自動機與時序邏輯（ω-Automata and Temporal Logic） 蔡益坤 Yih-Kuen Tsay，台灣大學資訊管理學系 o 模型檢查（Model Checking） 王凡 Farn Wang，台灣大學電機工程學系 --

※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.112.107.247