Formosan Summer School on Logic, Language, and Computation 2008 「邏輯、語言與計算」暑期研習營 暨「高等程式語言與型態系統」暑期課程碩士學分班 http://flolac.iis.sinica.edu.tw/flolac08/ 「邏輯、語言與計算」暑期研習營望培養學員獨立進行基礎計算科學研究之 能力。從今年起，本研習營將在兩大主題之間輪流替換。今年之主題為程式 語言與形態系統，詳細課程包含邏輯、語意、函數語言、型態理論、程式建 構、及抽象詮釋等。明年則以模型檢查與程式驗證為主題。 本研習營同時為台灣大學進修推廣部「高等程式語言與型態系統暑期碩士學 分班」，研習時數（含考試）共 54 小時。修習結束經考試及格後，授予碩 士學分三學分。也歡迎有興趣之社會、業界人士參加。 時間與地點 日期: 2008 年六月卅日（週一）至七月十一日（週五） 時間: 每週一至週五早上九點至下午五點，依課程排定時間上課 地點: 中央研究院資訊科學研究所 新館一樓 106 教室 課程與講者 o 邏輯 Logic Max Schaefer, Oxford University Computing Laboratory o 函數式程式語言的語意 Semantics of Functional Programming Languages 莊庭瑞, 中央研究院資訊科學研究所 o 函數式程式設計與型態推演系統導論 Introduction to Functional Programming and the Hindley-Milner Type System 陳恭, 政治大學資訊科學系 o 程式建構與推理 Program Construction and Reasoning 穆信成, 中央研究院資訊科學研究所 o 部份求值法之技術與應用 Partial Evaluation: Types, Binding Times and Optimal Specialisation Neil Jones, University of Copenhagen (DIKU) o 型態的另一種詮釋：抽象值 Interpreting Types as Abstract Values Oleg Kiselyov, FNMOC 單中杰 (待確認), Rutgers University 報名資訊詳見課程網站： http://flolac.iis.sinica.edu.tw/flolac08/ 修習結束經考試及格後，由台灣大學進修推廣部授予碩士學分三學分並發給 推廣教育證明書及學分成績證明。本班與國內外大學相關研究所學分之抵免， 依各校規定辦理。欲獲得學分之學員請先向所屬學校查詢學分抵免相關規定。 --

※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 123.192.157.71 ※ noctem:轉錄至看板 CSSE 04/24 00:44 ※ noctem:轉錄至看板 Programming 04/24 00:46 ※ scwg:轉錄至看板 b93902xxx 04/24 22:35 ※ scwg:轉錄至看板 b94902xxx 04/24 22:36