2010 Formosan Summer School on Logic, Language, and Computation FLOLAC '10 2010 「逻辑、语言与计算」暑期研习营 暨「高等程式语言：语意、分析与工具」暑期课程硕士学分班。 http://flolac.iis.sinica.edu.tw/flolac10/ 日期: 2010 年六月廿八日（周一）至七月九日（周五）。 时间: 每周一至周五早上九点至下午五点。 地点: 国立台湾大学进修推广部 2 楼 207 教室（台北市106罗斯福路4段107号）。 ====================================================================== 宗旨 ---- 近年来，从事基础计算科学研究之台湾学者们已在各校各自成立研究团队并相互合作。 对基础计算科学有兴趣之学生须透过一系列课程学习基本知识。然而，国内从事此类研 究的学者分散在各校，难以仅靠一己之力开设整套课程。因此，我们邀请有相同兴趣的 学者一同开课，训练下一代的研究人才。 「逻辑、语言与计算」暑期研习营希望培养学员独立进行基础计算科学研究之能力。从 第二年起，本研习营在两大主题之间轮流替换。今年（偶数年）之主题为高等程式语言， 奇数年则以模型检查与程式验证为主题。 本研习营同时为台湾大学进修推广部「高等程式语言：语意、分析与工具」暑期硕士学 分班，研习时数（含考试）共 54 小时。修习结束经考试及格後，授予硕士学分三学 分。也欢迎有兴趣之社会、业界人士参加。 「逻辑、语言与计算」暑期研习营曾在 2007、 2008 、2009 年举办，今年为第四届。 课程与讲者 ---------- o 函数编程 (Functional Programming). 陈恭, 政治大学资讯科学系. o 特别演讲. Paul Hudak, Yale University. o 操作语意 (Operational Semantics). 陈恭, 政治大学资讯科学系 o 逻辑 (Logic). 谢迈思 (Max Schaefer), Oxford University Computing Laboratory. 庄庭瑞, 中央研究院资讯科学研究所, 台湾大学资讯管理学系. o 指称语意 (Denotational Semantics). 谢迈思 (Max Schaefer), Oxford University Computing Laboratory. 庄庭瑞, 中央研究院资讯科学研究所, 台湾大学资讯管理学系. o 程式建构与推理 (Program Construction and Reasoning). 穆信成, 中央研究院资讯科学研究所. o 使用 Frama-C: 以整合静态分析技术验证 C 程式 (Using Frama-C: Collaboration of static analysis techniques towards the verification of C code) Pascal Cuoq, Commissariat a l'Energie Atomique. 主办单位 ------- 中央研究院资讯科学研究所、台湾大学资讯管理学系、政治大学资讯科学系联合主办， 台湾大学进修推广部协办。 课程委员 陈恭 Kung Chen, 政治大学资讯科学系。 庄庭瑞 Tyng-Ruey Chuang, 中央研究院资讯科学研究所、台湾大学资讯管理学系。 穆信成 Shin-Cheng Mu, 中央研究院资讯科学研究所。 谢迈思 Max Schaefer, Oxford University Computing Laboratory. 蔡益坤 Yih-Kuen Tsay, 台湾大学资讯管理学系。 王柏尧 Bow-Yaw Wang, 中央研究院资讯科学研究所、台湾大学资讯管理学系。 课务统筹 张少娟 Shao-Chuan Chang, 中央研究院资讯科学研究所。 报名资讯 ------- 详见网站: http://flolac.iis.sinica.edu.tw/flolac10/ --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 82.36.65.98 ※ 编辑: xcycl 来自: 82.36.65.98 (04/22 21:52) ※ xcycl:转录至看板 CSSE 04/22 21:52 ※ xcycl:转录至看板 Math 04/22 21:54 ※ xcycl:转录至看板 logic 04/23 01:51 ※ noctem:转录至看板 Programming 05/18 10:44 ※ 编辑: xcycl 来自: 147.188.193.87 (05/18 21:28)