Formosan Summer School on Logic, Language, and Computation 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/ 修习结束经考试及格後，由台湾大学进修推广部授予硕士学分三学分并发给 推广教育证明书及学分成绩证明。本班与国内外大学相关研究所学分之抵免， 依各校规定办理。欲获得学分之学员请先向所属学校查询学分抵免相关规定。 --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 123.192.157.71 ※ noctem:转录至看板 CSSE 04/24 00:44 ※ noctem:转录至看板 Programming 04/24 00:46 ※ scwg:转录至看板 b93902xxx 04/24 22:35 ※ scwg:转录至看板 b94902xxx 04/24 22:36