2012 “逻辑、语言与计算”暑期研习营暨学分班 (FLOLAC '12)
http://flolac.iis.sinica.edu.tw/flolac12/
日期：2012 年 8 月 27 日 (周一) 至 9 月 07 日 (周五)，共计十天。
时间：每周一至周五早上九点十分至下午四点二十。
地点：台湾大学共同教室(暂定)。
近年来，从事基础计算科学研究之台湾学者们已在各校各自成立研究团队并相
互合作。对基础计算科学有兴趣之学生须透过一系列课程学习基本知识。然而，
国内从事此类研究的学者分散在各校，难以仅靠一己之力开设整套课程。因此，
我们邀请有相同兴趣的学者一同开课，训练下一代的研究人才。
“逻辑、语言与计算”暑期研习营希望培养学员独立进行基础计算科学研究之
能力。从第二年起，本研习营在两大主题 — 程式语言，模型检查与程式验证
之间轮流替换。今年（偶数年）之主题为程式语言理论与型态系统。
今年的 FLOLAC 研习营有如下改变：
* 本研习营首次成为台湾大学正式暑修课程，针对大学生开课。台湾大学学
生可透过国立台湾大学暑期课程网选课，有学籍之其他学校学生可透过校
际选修选课。无学籍之社会人士也可旁听。详见报名资讯页。
* 为配合暑修时间，今年 FLOLAC 改于暑期后段（8月27日至9月7日）举办。
* 今年请到任职于 Max Planck Institute for Software Systems
的 Arthur Chargueraud介绍程式语言学界影响力日增的定理证明/程式
验证工具Coq.
“逻辑、语言与计算”暑期研习营曾在 2007、 2008 、2009 、2010 、2011
年举办，今年为第六届。
课程与讲者