作者noctem (noctem)
看板CSSE
标题FLOLAC 2008 「逻辑、语言与计算」暑期研习营
时间Thu Apr 24 00:44:48 2008
※ [本文转录自 PLT 看板]
作者: noctem (noctem) 看板: PLT
标题: FLOLAC 2008 「逻辑、语言与计算」暑期研习营
时间: Thu Apr 24 00:44:08 2008
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
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 123.192.157.71
1F：推 popux:请问可以旁听吗 04/24 21:33
2F：推 Wolfram:我也想知道 04/25 16:09
3F：→ noctem:我去问一下之後再答覆 :) 04/25 23:20
4F：推 demintree:直接去报名就好啦~~~ 04/26 02:12
5F：→ demintree:去年我有参加，我觉得收获不少 04/26 02:13
6F：→ demintree:不过进修推广部的学分，很多研究所都不能抵就是了 04/26 02:14
7F：→ demintree:去年有人旁听，但为数不多...真的修下去收获会比较多 04/26 02:15
8F：推 yen3:可以旁听的话，我就可以向系上学弟妹推荐了:) 04/26 10:54
9F：推 popux:大学部的去会不会听不懂 不知道需要什麽预备知识 04/26 14:56
10F：→ yen3:去年听的感想是，就去听就对了，不过在这两个礼拜中要花 04/27 14:32
11F：→ yen3:很多时间在复习上就是了 04/27 14:33
12F：推 Wolfram:去报不见得会报得上 04/28 12:53