2007 「逻辑、语言与计算」暑期研习营暨硕士学分班 2007 Formosan Summer School on Logic, Language, and Computation (FLOLAC '07) http://www.iis.sinica.edu.tw/~scm/flolac07/ 近年来，从事基础计算科学研究的台湾学者们已在各校各自成立了数个 研究团队，并在一些题目上相互合作。和任何领域一样，对基础计算科 学有兴趣的学生必须透过一系列课程学习基本知识。然而，国内从事此 类研究的学者分散在各校，难以仅靠一己之力开设整套课程。因此，我 们希望有相同兴趣的学者，一同开课，训练下一代的研究人才。 本研习营将开设一系列课程，希望修习後的学员们能有独立进行基础计 算科学研究之能力。今年的课程将包含逻辑、程式语言、型态理论、模 型检查、验证、与程式推导。我们希望这第一次的研习营将是往後更多 相关活动的开始，并藉此促进学界的交流。 本课程研习时数（含考试）共 54 小时，修习结束经考试及格後，授予 硕士学分三学分。也欢迎有兴趣之社会、业界人士参加。 时间与地点 ========== 日期: 2007 年七月二日（周一）至七月十三日（周五） 时间: 每周一至周五早上九点至下午五点，依课程排定时间上课 地点: 中央研究院资讯科学研究所 课程与讲者 ======== 课程简介详见研习营网页: http://www.iis.sinica.edu.tw/~scm/flolac07/ o 逻辑 Logic 谢迈思 (Max Schaefer), 中央研究院资讯科学研究所 o 模型检查, 时态逻辑, 与自动机理论 Model Checking, Temporal Logic, and Automata Theory 王柏尧 (Bow-Yaw Wang), 中央研究院资讯科学研究所、台湾大学资讯管理学系 o 演绎式程式验证 Deductive Program Verification 蔡益坤 (Yih-Kuen Tsay), 台湾大学资讯管理学系 o 函数式程式 Functional Programming 庄庭瑞 (Tyng-Ruey Chuang), 中央研究院资讯科学研究所 o 型态系统 Type Systems 陈恭 (Kung Chen), 政治大学资讯科学系 o 程式推导 Program Derivation 穆信成 (Shin-Cheng Mu, 中央研究院资讯科学研究所) 报名资讯 ======== 报名资格: 1. 资讯、电机、数学相关学系在学大学生，修业两年（含）以上，或 2. 资讯、电机、数学相关学系研究所在学学生，或 3. 专科或大学毕业，现从事资讯相关行业工作者。 报名日期: 即日起至 2007 年 5 月 31 日止（通讯报名请於 5 月 31 前寄达）。2007 年 6 月 11 日於网站公布录取名单并寄发入学通知。 报名手续: 线上报名、传真、或通讯报名 o 报名表格请至台湾大学进修推广部网站 http://training.dpd.ntu.edu.tw/ 下载或电话(02-23620502#10)索取 o 传真或通讯报名请将下列资料以传真(02-23691236)方式传送，或限时 挂号寄交 1. 报名表（共两张） 2. 学历证件影印本两份 o 线上报名者，请依线上操作步骤完成报名程序後，邮寄学历证件影印本 至台湾大学进修推广部. o 如在 6 月 4 日前未收到本部确认收到报名文件之讯息，请主动电话询 问。电话: 02-23620502 分机 11 俞小姐 o 甄选方式: 依相关学经历审查成绩高低决定。 o 放榜日期: 2007 年 6 月 11 日於本网站公布录取名单并寄发入学通知。 课程学费 ======== 每学分学费 1000 元，共 3000 元整。确定录取後缴交。 全程出席、考试成绩优异者，中央研究院资讯科学研究所另以奖助学金方式补 助部份学分费。 结业与学分抵免 ============== 修习结束经考试及格後，由台湾大学进修推广部授予硕士学分三学分并发给推 广教育证明书及学分成绩证明。 本班与国内外大学相关研究所学分之抵免，依各校规定办理。 本班为学分班，仅授予学分，不授予学位证书。 主办单位 ======== 中央研究院资讯科学研究所、台湾大学资讯管理学系主办， 台湾大学进修推广部协办。 --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 140.109.20.217