作者king21 ()
站内NTUEE108
标题[网宣] 2009 「逻辑、语言与计算」暑期研习营
时间Mon Jun 1 11:47:23 2009
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