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 小时。修毕课程并经考试及格后，授予硕士学分三学分