作者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