→ popux:請問可以旁聽嗎 04/24 21:33
※ scwg:轉錄至看板 b93902xxx 04/24 22:35
※ scwg:轉錄至看板 b94902xxx 04/24 22:36
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