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