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 小時。修畢課程並經考試及格後，授予碩士學分三學分