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 年举办，今年为第六届。 课程与讲者 -------- * 逻辑 (Logic) 柯向上 Oxford University * 函数编程 (Functional Programming) 庄庭瑞 中央研究院资讯科学研究所, 台湾大学资讯管理学系 * lambda-Calculus 陈恭 政治大学资讯科学系 * 型别系统 (Type Systems) 陈恭 政治大学资讯科学系 * Hoare 逻辑 (Hoare Logic) 陈郁方 中央研究院资讯科学研究所, 台湾大学资讯管理学系 * 程式建构 (Program Construction) 穆信成 中央研究院资讯科学研究所, 台湾大学资讯管理学系 * Coq 程式验证 Arthur Chargueraud Max Planck Institute for Software Systems 报名方法与时间 ----------- 本课程於台湾大学暑期第二梯次开授，课号 725 U3500，为三学分 之大学部选修课。依据学校暑期行事历，将在6/28公告课程讯息。 * 台大在校生 . 请至国立台湾大学暑期课程网选课。 http://coursemap.aca.ntu.edu.tw/summer/ . 网路选课: 2012 年 7 月 30 日 至 7 月 31 日。 . 人工加退选: 2012 年 8 月 2 日 至 8 月 3 日。 * 非台大学生 . 至国立台湾大学暑期课程网办理「外校学生上网报名」。 http://coursemap.aca.ntu.edu.tw/summer/ . 网路选课: 2012 年 7 月 24 日 至 7 月 25 日。 * 无学籍之社会人士若欲旁听，请联络 [email protected] 报名资格、费用、其他注意事项等详细资讯详见课程网页 http://flolac.iis.sinica.edu.tw/flolac12/ 主办单位 ------- 中央研究院资讯科学研究所、台湾大学资讯管理学系联合主办。 --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 220.135.50.10 ※ noctem:转录至看板 Programming 05/11 13:43 ※ noctem:转录至看板 CSSE 05/11 13:49