2018 “逻辑、语言与计算”暑期研习营
2018 Formosan Summer School on Logic, Language, and Computation
SINICA IIS / NTUIM / NTUCSIE / NTUEE
重要！
学生报名截止日为 06/01 (五)
旁听报名截止日为 06/08 (五)
时间不多了，想报名的手脚要快唷！
* 研习营简介
“逻辑、语言与计算”暑期研习营希望培养学员独立进行
基础计算科学研究之能力。从第二年起，本研习营在两
大主题 — 程式语言与形式验证之间轮替。
今年（偶数年）之主题为程式语言，正式学分班课程名称
为“程式语言理论与型态系统”。
本课程将讲授程式语言与形式验证领域之入门理论与知识，
包含逻辑、λ-calculus、函数编程 (functional programming)、
Martin-Löf 型别、依值型别(dependent type)等等，
希望培养学生以形式逻辑进行清晰思考的能力，了解逻辑与
程式语言、型别系统的密切关系，以及型别系统在程式语言中
扮演的角色，使学生能以归纳、递回方式理解并解决程式设计
问题，能运用软件工具辅助逻辑推理并证明程式之正确性，并
具备在程式语言相关领域进行研究的能力。
* 日期: 2018 年 07 月 09 日 至 2018 年 07 月 20 日
* 时间: 每周一至周五 上午 9:10 - 下午 4:20
* 地点: 台湾大学管理学院 壹号馆102教室
* 课程资讯: http://flolac.iis.sinica.edu.tw
本课程为台湾大学暑期第一梯次选修课，欢迎校际选修。
本课程为暑期密集课程，上课时间为自07/09至07/20之每周一至周五
全日且须全程参与。学生网络选课前须先至以下网址填写报名资料，
经台大资管系依授课教师之规定进行筛选，筛选通过之学生方能
上网选修本课程：https://goo.gl/forms/Ve52ETWPoFjOElAs1
学生报名截止时间为 06/01(五) 24 时前！
欲旁听者, 即日起至 06/08(五) 24 时前可填送报名表
https://goo.gl/9iKNGW
报名超额时，将依所填之修课理由筛选。
修课录取名单将于 06/04 (一) 公布。
旁听录取名单将于 06/15 (五) 公布。
※参加者请自备电脑, 可先安装 Haskell 及 Agda
* 研习营课程
函数编程 Functional Programming 穆信成 中研院资科所、台大资管系
演算与型别 Lambda Calculus and Types 陈亮廷 英国斯旺西大学
电脑科学系
逻辑 Logic 柯向上 日本国立情报学研究所
特别讲座：并行计算模型与讯程型别
Models of concurrent computation and session types
Nobuko Yoshida, Imperial College London, UK
Rumyana Neykova, Imperial College London, UK
现正热烈报名中!