2008 「逻辑、语言与计算」暑期研习营 暨「高等程式语言与型态系统」暑期课程硕士学分班 http://flolac.iis.sinica.edu.tw/flolac08/ 「逻辑、语言与计算」暑期研习营望培养学员独立进行基础计算科学研究之 能力。从今年起，本研习营将在两大主题之间轮流替换。今年之主题为程式 语言与形态系统，详细课程包含逻辑、语意、函数语言、型态理论、程式建 构、及抽象诠释等。明年则以模型检查与程式验证为主题。 本研习营同时为台湾大学进修推广部「高等程式语言与型态系统暑期硕士学 分班」，研习时数（含考试）共 54 小时。修习结束经考试及格後，授予硕 士学分三学分。也欢迎有兴趣之社会、业界人士参加。 时间与地点 -------- 日期: 2008 年六月卅日（周一）至七月十一日（周五） 时间: 每周一至周五早上九点至下午五点，依课程排定时间上课 地点: 中央研究院资讯科学研究所 新馆一楼 106 教室 课程与讲者 -------- o 逻辑 Logic Max Schaefer, Oxford University Computing Laboratory o 函数式程式语言的语意 Semantics of Functional Programming Languages 庄庭瑞, 中央研究院资讯科学研究所 o 函数式程式设计与型态推演系统导论 Introduction to Functional Programming and the Hindley-Milner Type System 陈恭, 政治大学资讯科学系 o 程式建构与推理 Program Construction and Reasoning 穆信成, 中央研究院资讯科学研究所 o 部份求值法之技术与应用 Partial Evaluation: Types, Binding Times and Optimal Specialisation Neil Jones, University of Copenhagen (DIKU) o 型态的另一种诠释：抽象值 Interpreting Types as Abstract Values Oleg Kiselyov, FNMOC 单中杰 (待确认), Rutgers University 报名资讯详见课程网站： ----------------- http://flolac.iis.sinica.edu.tw/flolac08/ 报名日期: 即日起至 2008 年 5 月 22 日止（通讯报名请於 5 月 22 日前寄达）。 报名手续: 线上报名、传真、或通讯报名，报名表格请至以下台湾大学进修推广部网站下 载 http://140.112.166.204/ntu/DPD10/DPD10201C.aspx?class_no=DADAA02010 修习结束经考试及格後，由台湾大学进修推广部授予硕士学分三学分并发给 推广教育证明书及学分成绩证明。本班与国内外大学相关研究所学分之抵免， 依各校规定办理。欲获得学分之学员请先向所属学校查询学分抵免相关规定。 --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 140.112.42.148